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