2-9516600-0-6, TMSO, 2001. [Holz91] G.J Holzmann, Design and Validation of Computers Protocols, ISBN 0-13-539834-7, Prentice Hall Software Series, 1991. [Reed94] R. Reed, A. Olsen, O. Fargemand, B. Moller-Pedersen, J. R. W. Smith, Systems Engineering Using SDL-92, ISBN 0-444-89872-7, Elsevier, 1994. [Sari93] B. Sarikaya, Principles of Protocol Engineering and Conformance Testing, ISBN 0-13-012642-X, Simon & Schuster International, 1993. [Telen00] Telenor, Languages for Telecommunication Applications, ISSN 0085-7130, No. 4- 2000, Telektronikk Volume 96. [Thiel01] A. M. Thiel, Systems Engineering with SDL - Developing Performance-Critical Communication Systems, ISBN 0-471-49875-0, John Wiley, 2001. ITU recommendations [MSC96] Z.120 (1996), Message Sequence Chart (MSC). Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis. Laurent Doldi © 2003 John Wiley & Sons, Ltd ISBN: 0-470-85286-0 290 Validation of Communications Systems with SDL [SDL92] Z.100 (1993), Specification and Description Language (SDL), Version SDL-92. [SDL00] Z.100 (1999), Specification and Description Language (SDL), Version SDL-2000. [Meth97] Supplement 1 to Z.100 (05/97), SDL + Methodology. [Z105_1] Z.105 (1995), SDL Combined with ASN.1. [Z105_2] Z.105 (1999), SDL Combined with ASN.1 Modules (18 pages). [Z106] Z.106 (1996), Common Interchange Format for SDL. [Z107] Z.107 (1999), SDL with Embedded ASN.1 (3 pages). [Z109] Z.109 (1999), SDL Combined with UML (41 pages). [Z110] Z.110 (1996), Criteria for the use of Formal Description Techniques by ITU-T. SDL Forum proceedings [For87] SDL'87: State of the art and future trends, Proceedings of the Third SDL Forum, North Holland, Amsterdam, 1987. [For89] SDL'89: The language at work, Proceedings of the Fourth SDL Forum, North Holland, Amsterdam, 1989. [For91] SDL'91: Evolving methods, Proceedings of the Fifth SDL Forum, North Holland, Ams- terdam, 1991. [For93] SDL'93: Using objects, Proceedings of the Sixth SDL Forum, North Holland, Amster- dam, 1993. [For95