Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Bosnacki, Dragan (Herausgeber); Edelkamp, Stefan (Herausgeber) (Theoretical Computer Science and General Issues, 2007)