Model checking software 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 ; proceedings (Springer, 2008)