Building Tool Suite for AADL. - Jean-François Tilman (IFIP-WADL, 2004)

Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. - Hugues Balp; Etienne Borde; Grégory Haïk; Jean-François Tilman (ICECCS, 2008)