Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.

Gilles Lasnier Bechir Zalila Laurent Pautet Jérôme Hugues Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. 237-250 2009 Ada-Europe http://dx.doi.org/10.1007/978-3-642-01924-1_17 conf/adaEurope/2009 db/conf/adaEurope/adaEurope2009.html#LasnierZPH09