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, Rob Gerth, Stefan Leue, Mieke Massink ((Lecture Notes in Computer Science))