Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - Jaco Pol, Michael Weber ((Lecture Notes in Computer Science))