, Architecture Analysis & Design Language (AS5506), 2004.
The Architecture Analysis & Design Language (AADL): An Introduction, 2006. ,
, Annotated Ada, vol.8652, 2005.
, Language Reference Manual, 2007.
STOOD, Ocarina, 2007. ,
Guide for the use of the Ada Ravenscar Profile in high integrity systems, 2003. ,