Dragan Bosnacki Stefan Edelkamp Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings SPIN Lecture Notes in Computer Science 4595 Springer 2007 978-3-540-73369-0 db/conf/spin/spin2007.html