Technical Overview, 2008. ,
The Architecture Analysis & Design Language (AADL): An Introduction, 2006. ,
Designing Embedded Systems using Heterogeneous Rich Components, Proceedings of the INCOSE International Symposium, 2008. ,
Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, 2009. ,
A system for seamless abstraction layers for model-based development of embedded software, Proceedings of Envision 2020 Workshop, 2010. ,