1. Allen, A.O.: Probability, Statistics and Queueing Theory with Computer Science Applications, 2nd edn. Academic Press, London (1990)
2. Allworth, S.T., Zobel, R.N.: Introduction to Real-time Software Design. Macmillan Education, Basingstoke (1987)
3. Bate, G.: Mascot 3 an Informal Introductory Tutorial. Software Engineering Journal, 95–102 (May 1986)
4. Cooling, J.E.: Real-Time Software Systems. In: An Introduction to Structured and Object-oriented Design, International Thomson Computer Press (1997)
5. Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software Performance Modeling using PEPA Nets. In: Proceedings of WOSP 2004, pp. 13–23. ACM press, New York (2004)