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)