Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings - Bošnački, Dragan; Edelkamp, Stefan (Springer Berlin Heidelberg, 2007)