J. Blanquart, A. Rossignol, and D. Thomas, Toward Model-Based Engineering for Space Embedded Systems and Software, 2006.

O. Sokolsky, I. Lee, and D. Clarke, Schedulability Analysis of AADL Models," presented at 20th Parallel and Distributed Processing Symposium, 2006.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Scheduling and Memory Requirements Analysis with AADL, presented at SIGAda Int. Conf. on Ada, 2005.
DOI : 10.1145/1103846.1103847

A. Joshi, S. Vestal, and P. Binns, Automatic Generation of Static Fault Trees from AADL Models," presented at Workshop on Architecting Dependable Systems of The 37th Annual IEEE, Conference on Dependable Systems and Networks, 2007.

P. Warrendale, A. E. June, K. Rugina, M. Kanoun, and . Kaâniche, SAE Architecture Analysis and Design Language (AADL) Annex Volume 1, Annex E: Error Model Annex International Society of Automotive EngineersA System Dependabiliy Modeling Framework using AADL and GSPNs, Architecting Dependable Systems IV, pp.14-38, 2006.

A. E. Rugina, Dependability Modeling and Evaluation - From AADL to Stochastic Petri Nets Toulouse: PhD dissertation, Systèmes Informatiques, p.151, 2007.

J. Bourdeau, K. Doucet, J. Kanoun, S. Laprie, J. M. Metge et al., Surf-2: a program for dependability evaluation of complex hardware and software systemsTransforming Models with ATLModel Transformation Language MOLAGraph Transformations on Domain-Specific Models Institute for Software Integrated SystemsClassification of Model Transformation Approaches Eclipse Modeling FrameworkA Library Implementing Propagation Rules defined in the AADL Error Model AnnexError Model Meta Model and Plug-in, Practice Workshop at ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Model Diven Architecture Generative Techniques in the Context of Model-Driven Architecture of ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsSAE Architecture Analysis and Design Language (AADL) Annex Volume Annex C: AADL Meta-Model and Interchange FormatsSoftware and Systems Engineering -Highlevel Petri Nets, pp.62-76, 1993.