1. Specification and Description Language (SDL-2000). ITU-T Recommendation Z.100 (1999)
2. Information technology – Open Systems Interconnection – Conformance testing methodology and framework – Part 1: General concepts, International Standard ISO/IEC 9646-1, 2nd edn. (1994)
3. Message Sequence Chart (MSC). ITU-T Recommendation Z.120 (1999)
4. Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: Autolink – a tool for automatic test generation from SDL specifications. In: Proc. of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, Boca Raton, Florida, USA (1998)
5. Kerbrat, T., Jéron, Groz, R.: Automated test generation from SDL specifications. In [17], pp. 135–151