] SDL'95, Proceedings of the Seventh SDL Forum, North Holland, Amsterdam, 1995. [For97] SDL'97: Time for testing, Proceedings of the Eighth SDL Forum in Paris, Elsevier, 1997. [For99] SDL'99: The next millenium, Proceedings of the Ninth SDL Forum in Montreal, Else- vier, 1999. [For01] SDL2001: Meeting UML, Proceedings of the Tenth SDL Forum in Copenhagen, ISBN 3-540-42281-1, Springer LNCS, 2001. Papers [Alga91] B. Algayres, L. Doldi, H. Garavel, Y. Lejeune, C. Rodriguez "VESAR: a pragmatic approach to formal specification and verification", Computer Networks and ISDN Systems, Special Issue on Tools for FDTs, Vol. 25, No. 7, North Holland, February 1993. [Alga93] B. Algayres, Y. Lejeune, F. Hugonnet, F. Hantz, "The AVALON project: A VALi- datiON environment for SDL/MSC descriptions", SDL'93 Forum, 1993. Bibliography 291 [Com94] P. Combes, S. Pickin, B. Renard, F. Olsen, "MSCs to express service requirements as properties of an SDL model: application to service interaction detection", SDL'95 Forum, Oslo, 1995. [Doldi92] L. Doldi (Verilog), P. Gauthier (DGAC/STNA), "VEDA 2: Power to the protocol designers", FORTE 92, 5th International Conference on Formal Description Tech- niques, 1992. [Doldi95] L. Doldi (Verilog), F. Goudenove (Aerospatiale - Airbus), "Use of SDL to specify Airbus future air navigation systems", SDL'95 Forum, Oslo, 1995. [Doldi96] L. Doldi, V. Encontre (Verilog), J.-C. Fernandez, T. Jeron (INRIA), S. Le Bricquir, N. Texier (Cap Sesa), M. Phalippou (CNET), "Assessment of automatic genera- tion methods of conformance test suites in an industrial context", IWTCS'96, 9th International Workshop on Testing of Communicating. Systems, Darmstadt, 1996. [Jard88] C. Jard, R. Groz, J.-F. Monin, "Development of VEDA: a prototyping tool for dis- tributed algorithms", IEEE Transactions on Software Engineering, March 1988. [Jard89] C. Jard, J.-M. Jezequel, "A multi-processor Estelle-to-C compiler to experiment distributed algorithms on parallel machines", Protocol Specification, Testing and Verification, IX, Proc