, ARINC Specification 653. Avionics Application Software Standard Interface, 1997.

P. Parkinson-&-l.-kinnan, 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.