@Inproceedings{EPTCS20.4, author = {Forget, Julien and Boniol, Fr\'ed\'eric and Lesens, David and Pagetti, Claire}, year = {2010}, title = {Implementing Multi-Periodic Critical Systems: from Design to Code Generation}, 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 = {34-48}, doi = {10.4204/EPTCS.20.4}, }