1. F. Belina, D. Hogrefe, A. Sarma, SDL with Applications from Protocol Specification, Prentice-Hall, Englewood Cliffs, NJ, 1991.
2. D. Hatley, I. Pirbhai, Strategies for Real-time System Specification, Dorset House, 1987.
3. J. Kurose, K. Ross, Computer Networking: A Top-Down Approach Featuring The Internet, Addison-Wesley, Reading, MA, 2001.
4. L. Motus, M. Rodd., Timing Analysis of Real-time Software, Elsevier, Amsterdam, 1994.
5. J. Tsai, S. Yang (Eds.), Monitoring and Debugging of Distributed Real-time Systems, IEEE Computer Society, 1995.