Telefona gönder: Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.].