1. E. M. Clarke and J. M. Wing. Formal methods: state of the art and future directions.ACM Computing Surveys, 28(4)626–643, December 1996.
2. P. J. A. de Villiers and W. C. Visser. ESML—a validation language for concurrentsystems. South African Computer Journal, 7:59–64, July 1992.
3. J.-Ch. Gr-egoire. State space compression in Spin with GETSs. In Proceedings of the 2nd SPIN Workshop, 1996.
4. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991.
5. G. J. Holzmann. State compression in Spin: recursive indexing and compression training runs. In Proceedings of the 3rd SPIN Workshop, 1997.