, Architecture Analysis & Design Language (AS5506), 2004.

P. H. Feiler, D. P. Gluch, and J. Hudak, The Architecture Analysis & Design Language (AADL): An Introduction, 2006.

. Iso/iec, Annotated Ada, vol.8652, 2005.

, Language Reference Manual, 2007.

. Ellidiss-software, STOOD, Ocarina, 2007.

B. Dobbing, T. Vardenega, and A. Burns, Guide for the use of the Ada Ravenscar Profile in high integrity systems, 2003.