1. rd Generation Partnership Project.
http://www.3gpp.org
.
2. J. Ellsberger, D. Hogrefe, and A. Sarma: SDL — Formal Object-oriented Language for Communicating Systems. Prentice-Hall 1997.
3. A. W. Roscoe: The Theory and Practice of Concurrency. Prentice-Hall 1997.
4. J. Bredereke and B.-H. Schlingloff: Specification Based Testing of the UMTS Protocol Stack; in: Proc. 14th Int. Software hi Internet Quality Week (QW2001), San Francisco (May 2001).
5. J. Grabowski, A. Wiles, C. Willcock, and D. Hogrefe: On the design of the new testing language TTCN-3. In: H. Ural, R. L. Probert, and G. v. Bochmann, Testing of Communicating Systems - Tools and Techniques, vol. 176 of IFIP Conf. Kluwer Academic Publishers (Aug. 2000).