A Design Flow for Critical Embedded Systems. - Vincent Lefftz; Jean Bertrand; Hugues Cassé; Christophe Clienti; Philippe Coussy; Laurent Maillet-Contoz; Philippe Mercier; Pierre Moreau; Laurence Pierre; Emmanuel Vaumorin (SIES, 2010)

Runtime Verification of Typical Requirements for a Space Critical SoC Platform. - Luca Ferro; Laurence Pierre; Zeineb Bel Hadj Amor; Jérôme Lachaize; Vincent Lefftz (FMICS, 2011)