SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS. - Jérôme Chevalier; Mathieu Rondonneau; Olivier Benny; Guy Bois; El Mostapha Aboulhamid; François R. Boyer (FDL, 2003)

A SystemC Refinement Methodology for Embedded Software. - Jérôme Chevalier; Maxime de Nanclas; Luc Filion; Olivier Benny; Mathieu Rondonneau; Guy Bois; El Mostapha Aboulhamid (IEEE Des. Test Comput., 2006)