Antti Valmari Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 3925 2006 3-540-33102-6 SPIN Lecture Notes in Computer Science Springer db/conf/spin/spin2006.html