Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings - Pol, Jaco (Springer Berlin Heidelberg, 2010)