All URLs are valid as of the publication date of this document.
SEI Technology Highlight: AADL and Model-based Engineering (http://www.sei.cmu.edu/library/assets/ResearchandTechnology_AADLandMBE.pdf).
Gopal Raghav, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Jérôme Hugues, Julien Delange, Model Based Code Generation for Distributed Embedded Systems Embedded Real-time Software and Systems Conference (ERTS2010), May 2010.
“Ariane 5 Flight 501.” en.wikipedia.org/wiki/Ariane_5_Flight_501.
“Architecture Analysis & Design Language (AADL),” SAE ...