Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Gerald-Emmanuel Garcia; Marco Panunzio (MODELSWARD, 2014)

Integrating Formal Timing Analysis in the Real-Time Software Development Process. - Rafik Henia; Laurent Rioux; Nicolas Sordon; Gerald-Emmanuel Garcia; Marco Panunzio (WOSP-C@ICPE, 2015)