Model Checking Software [electronic resource] Proceedings - International Workshop 2007) Germany SPIN (14; Stefan, Edelkamp (Berlin Springer, 2007)
http://dx.doi.org/10.1007/978-3-540-73370-6