-D. Dams et al.(Eds.): Theoretical and Practial Aspects of SPIN Model Checking. Proceedings, Springer-Verlag 1999