@inproceedings{JHR+07,
title = { Virtual execution of AADL models via a translation into synchronous programs },
author = {Jahier, Erwan and Halbwachs, Nicolas and Raymond, Pascal and Nicollin, Xavier and Lesens, David},
year = {2007},
booktitle = {Proceedings of the 7th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria},
pages = {134-143},
publisher = {ACM},
team = {SYNC},
}
