1. Jahanian F., Mok A.K., “Safety analysis of timing properties in real-time systems”. IEEE Trans. Soft. Eng. V12 N9, Sep 1986. pp 890–904.
2. Jean Philippe Babau et Jean Louis Sourrouille, “Expressing real time constraints in a reflective object model ”, IFAC Control Engineering Practice,Vol 6 (1998) pages 421–430.
3. J.M. Alvarez, M. Diaz, L.M. Llopis, E. Pimentel, and J.M. Troya. “Integrating schedulability analysis and sdl in an object-oriented methodology for embedded real-time systems”. In R. Dssouli, G.v. Bochmann, and Y. Lahav, editors, Proceedings of SDL Forum ‘89, Montreal,Canada, 1999. Elsevier.
4. Stankovic J. A., “Misconceptions about real-time computing: a serious problem for the next-generation systems”. IEEE Computer., V21 N10, Oct. 1988, pp 10–19.
5. M. Diefenbruch: Queuing SDL - A Language for the Functional and Quantitative Specification of Distributed Systems, University Gesamthochschule Essen, Fachbereich Mathematik und Informatik, 1997, (QUAFOS-Project Report Q1).