Supporting the Design of Safety Critical Systems Using AADL. - T. Correa; Leandro Buss Becker; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; François Vernadat 001 (ICECCS, 2010)