1. R. Alur, T. Feder, T. Henzinger. The Benefits of Relaxing Punctuality. Journal of the ACM, Vol. 43, 1996.
2. A. Ates, B. Sarikaya. Test sequence generation and timed testing. In Computer Networks and ISDN Systems, Vol. 29, 1996.
3. B. Baumgarten, A. Giessler. OSI conformance testing methodology and TTCN. Elsevier, 1994.
4. B. Baumgarten, G. Gattung. A Proposal for the Operational Semantics of Concurrent TTCN. Arbeitspapiere der GMD 975, 1996.
5. H. Bowman, L. Blair, G. Blair, A. Chetwynd. A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronization. In Multimedia Transport and Teleservices. LNCS 882, 1994.