Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Dragan Bo.na.ki, Stefan Edelkamp ((Lecture Notes in Computer Science))