Model checking software 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / - Valmari, Antti. (Lecture notes in computer science,)