Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - van der Pol, Jaco; Weber, Michael (Theoretical Computer Science and General Issues, 2010)