Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.). - Dams, Dennis (Lecture notes in computer science, 1999)