1. ETSI ES 201873, The Testing and Test Control Notation TTCN-3, Part 1 (Core Language), Part 2 (Tabular Format), Part 3 (Graphical Format), Part 4 (Operational Semantics), Part 5 (TTCN-3 Runtime Interface), Part 6 (TTCN-3 Control Interfaces),
http://www.etsi.org/
2. Telelogic Tau Tester: TTCN-3 to C Code Generator, Reference Manuals. Telelogic (2004)
3. Weygant, P.: Clusters for High Availability: A Primer of HP Solutions, 2nd edn. Hewlett-Packard Company (2001)
4. Telelogic Tau G2: UML 2.0 to C/C++/Java Code Generator, Reference Manuals. Telelogic (2004)
5. Burton, S., Baresel, A., Schieferdecker, I.: Automated testing of automotive telematics systems using TTCN-3. In: 3rd Workshop on System Testing and Validation - SV 2004, Paris (December 2004)