Dragan Bosnacki, Stefan Leue: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Lecture Notes in Computer Science 2318, Springer 2002, ISBN 3-540-43477-1