1. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, New York (1996)
2. Bordin, M., Vardanega, T.: Automated Model-Based Generation of Ravenscar-Compliant Source Code. In: ECRTS 2005. Proceedings of the 17th Euromicro Conference on Real-Time Systems, pp. 59–67. IEEE Computer Society, Washington (2005)
3. Gasperoni, F.: Safety, security, and object-oriented programming. SIGBED Rev. 3(4), 15–26 (2006)
4. García, J.J.G., Gutiérrez, J.C.P., Harbour, M.G.: Schedulability analysis of distributed hard real-time systems with multiple- event synchronization. In: Proceedings of 12th Euromicro Conference on Real-Time Systems, pp. 15–24. IEEE Computer Society Press, Los Alamitos (2000)
5. Halbwachs, N.: A tutorial of Lustre (1993)