Evaluation of the Proposed QVTMerge Language for Model Transformations. - Roy Grønmo; Mariano Belaunde; Jan Øyvind Aagedal; Klaus-D. Engel; Madeleine Faugère; Ida Solheim (WSMDEIS, 2005)

MARTE: Also an UML Profile for Modeling AADL Applications. - Madeleine Faugère; Thimothée Bourbeau; Robert de Simone; Sébastien Gérard (ICECCS, 2007)

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. - Angeliki Kritikakou; Christine Rochange; Madeleine Faugère; Claire Pagetti; Matthieu Roy; Sylvain Girbal; Daniel Gracia Pérez (RTNS, 2014)

DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. - Simon Barner; Alexander Diewald; Jörn Migge; Ali Syed; Gerhard Fohler; Madeleine Faugère; Daniel Gracia Pérez (MoDELS, 2017)

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. - Georgia Giannopoulou; Peter Poplavko; Dario Socci; Pengcheng Huang 001; Nikolay Stoimenov; Paraskevas Bourgos; Lothar Thiele; Marius Bozga; Saddek Bensalem; Sylvain Girbal; Madeleine Faugère; Romain Soulat; et al. (Des. Autom. Embed. Syst., 2018)