1. B. Algayres, Y. Lejeune, F. Hugonnet, and F. Hantz. The AVALON project: A VALidatiON Environment For SDL/MSC Descriptions. In 6th SDL Forum, Darmstadt, 1993.
2. E. Brinksma. A theory for the derivation of tests. In S. Aggarval and K. Sabnani, editors, Protocol Specification, Testing and Verification VIII, IFIP, pages 63–74. Elsevier Science Publishers, B.V., North-Holland, 1988.
3. CCITT/SGx/WP3-1, Specification and Description Language, SDL. CCITT Recommendation Z.100, 1988.
4. M. Clatin, R. Groz, M. Phalippou, and R. Thummel. Two approaches linking a test generation tool with verification techniques. In A. Cavalli and S. Budkowski, editors, 8th Int. Workshop on Protocols Test Systems, Evry, France, pages 159–174, September 1995.
5. C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory efficient algorithms for the verification of temporal properties. In E.M. Clarke and R.P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CAV'90, New Brunswick, NJ, USA. Springer Verlag, LNCS 531, 1990.