Pierre Gaufillet

AADL Behavioural Annex

Mamoun Filali, François Vernadat, Pierre Dissaux, 2006 .

COTRE as an AADL Profile

Patrick Farail, Pierre Gaufillet, Pierre Gaufillet, 2004, IFIP-WADL.

Fiacre: an Intermediate Language for Model Verification in the Topcased Environment

Mamoun Filali, Frédéric Lang, Hubert Garavel, 2008 .

Model Driven Engineering with Capella and AADL

Jérôme Hugues, Bassem Ouni, Eric Jenn, 2016 .