Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / - Bošnački, Dragan; Leue, Stefan. (Springer, 2002)