, ARINC Specification 653. Avionics Application Software Standard Interface, 1997.
Safety-Critical Software Development for Integrated Modular Avionics, 1997. ,
, UML 1.4 Specification, 2001.
, UML 2.1 Specification, 2007.
, UML Profile for Schedulability, Performance and Time, 2005.
, UML Profile for Modelling and Analysis of Real-time and Embedded Systems (MARTE), 2007.