Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings - Weber, Michael; Pol, Jaco (Lecture Notes in Computer Science,, 2010)