1. The rise and fall of CORBA: There’s a lot we can learn from CORBA’s mistakes;Henning;Queue,2006
2. Correctness by construction: A manifesto for high integrity software;Chapman,2006
3. Architecture Analysis and Design Language (AADL) AS-5506c,2017
4. From the prototype to the final embedded system using the ocarina aadl tool suite;Hugues;ACM Trans. Embedd. Comput. Syst. (TECS),2008
5. B. Dobbing, A. Burns, T. Vardanega, Guide for the use of the of the Ravenscar Profile in High Integrity Systems, Tech. rep., 2003.