Susanne Graf Laurent Mounier Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings SPIN Lecture Notes in Computer Science 2989 Springer 2004 3-540-21314-7 db/conf/spin/spin2004.html