@Inproceedings{EPTCS20.9, author = {Besnard, Lo\"ic and Gautier, Thierry and Ouy, Julien and Talpin, Jean-Pierre and Bodeveix, Jean-Paul and Cortier, Alexandre and Pantel, Marc and Strecker, Martin and Garcia, G\'erald and Rugina, Ana-Elena and Buisson, J\'er\'emy and Dagnat, Fabien}, year = {2010}, title = {Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software}, editor = {Bujorianu, Manuela and Fisher, Michael}, booktitle = {{\rm Proceedings FM-09 Workshop on} Formal Methods for Aerospace, {\rm Eindhoven, The Netherlands, 3rd November 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {20}, publisher = {Open Publishing Association}, pages = {80-87}, doi = {10.4204/EPTCS.20.9}, }