Arts'Codes: a new methodology for the development of real-time embedded applications for control systems - Aryeh Teitelbaum (2010)