ESTEREL: a formal method applied to avionic software development. - Gérard Berry; Amar Bouali; Xavier Fornari; Emmanuel Ledinot; Eric Nassor; Robert de Simone (Sci. Comput. Program., 2000)

EPICURE: A partitioning and co-design framework for reconfigurable computing. - Jean-Philippe Diguet; Guy Gogniat; Jean Luc Philippe; Yannick Le Moullec; Sébastien Bilavarn; Christian Gamrat; Karim Ben Chehida; Michel Auguin; Xavier Fornari; Philippe Kajfasz (Microprocess. Microsystems, 2006)