1. ISO/IEC International Standard 8807. LOTOS — a formal description technique based on the temporal ordering of observational behaviour, Technical report, International Organization for Standardization — Information Processing Systems — Open Systems Interconnection, Genève, September 1988.
2. ISO/IEC International Standard 9646-1/2/3. OSI-Open Systems Interconnection, Information Technology — Open Systems Interconnection Conformance Testing Methodology and Framework — Part 1: General Concept — Part 2: Abstract Test Suite Specification — Part 3 : The Tree and Tabular Combined Notation (TTCN), 1992.
3. A.V. Aho, R. Sethi, J.D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
4. B. Algayres, Y. Lejeune, F. Hugonnet, GOAL: Observing SDL Behaviors with GEODE, in: SDL Forum’95, Elsevier, Amsterdam, 1995.
5. A. Bouajjani, J.-C. Fernandez, S. Graf, C. Rodriguez, J. Sifakis, Safety for Branching Time Semantics, in: 18th ICALP, Springer, Berlin, July 1991.