Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings - Groce, Alex; Musuvathi, Madanlal (Springer Berlin Heidelberg, 2011)