Virtual execution of AADL models via a translation into synchronous programs.

Erwan Jahier Nicolas Halbwachs Pascal Raymond Xavier Nicollin David Lesens Virtual execution of AADL models via a translation into synchronous programs. 134-143 2007 EMSOFT http://doi.acm.org/10.1145/1289927.1289951 conf/emsoft/2007 db/conf/emsoft/emsoft2007.html#JahierHRNL07