Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings - Havelund, Klaus; Majumdar, Rupak; Palsberg, Jens (Springer Berlin Heidelberg, 2008)