1. S.Y. Allworth, R.N. Zobel, Introduction to Real-Time Software Design (Springer-Verlag, New York, NY, 1987)
2. M. Balcer, S. Mellor, Executable UML: A Foundation for Model-Driven Architecture (Addison-Wesley Professional, Reading, MA, 2002)
3. G. Berry, in The Foundations of Esterel, ed. by G.D. Plotkin, C. Strong, M. Tofte. Proof, Language, and Interaction, Esssays in Honour of Robin Milner (The MIT Press, Cambridge, MA, 1999)
4. A. Burns, A. Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems (Elsevier Science, Amsterdam, 1995)
5. J. Delange, AADL in Practice (Reblechon Development Company, 2017)