Recherche - Parallélisation automatique pour la conception de systèmes critiques sûrs.