1. Recommendation Z.100: Specification and Description Language;ITU-T,2000
2. Recommendation Z.120: Message Sequence Chart;ITU-T,2000
3. ISO 8807: Information Processing Systems – Open Systems Interconnection – LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour;ISO,1987
4. Osi Conformance Testing Methodology and Framework for Protocol Recommendations for ITU-T Applications — General Concepts;ITU-T,1995
5. Principles and methods of testing finite state machines — a survey;Lee;Proc.of the IEEE,1996