From the prototype to the final embedded system using the Ocarina AADL tool suite.

Jérôme Hugues Bechir Zalila Laurent Pautet Fabrice Kordon From the prototype to the final embedded system using the Ocarina AADL tool suite. 2008 7 ACM Trans. Embedded Comput. Syst. 4 http://doi.acm.org/10.1145/1376804.1376810 db/journals/tecs/tecs7.html#HuguesZPK08