Model checking software 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / - Groce, Alex.; Musuvathi, Madanlal. (Springer,)