Formal Synthesis of Optimal RTOS. - Tigori Kabland Toussaint Gautier; Jean-Luc Béchennec; Olivier Henry Roux (HPCC/CSS/ICESS, 2015)

Formal Model-Based Synthesis of Application-Specific Static RTOS. - Tigori Kabland Toussaint Gautier; Jean-Luc Béchennec; Sébastien Faucou; Olivier Henry Roux (ACM Trans. Embed. Comput. Syst., 2017)

Formal model-based conformance verification of an OSEK/VDX compliant RTOS. - Jean-Luc Béchennec; Olivier Henry Roux; Tigori Kabland Toussaint Gautier (CoDIT, 2018)