. Do254-ed80-:-rtca-eurocae, Design assurance guidance for airborne electronic hardware, 2000.

, Design assurance guidance for airborne electronic hardware, 2005.

. Do178b-:-rtca-eurocae, Software Considerations in Airborne Systems and Equipment Certification, 1992.

. Esterel,

. System@tic,

. Ssm-:-c and . André, PLD: Programmable Logic Device RTCA: Radio Technical Commission for Aeronautics RTL: Register transfer Level SME: Small and Medium Enterprise SSM: Safe State Machine USB : Universal Serial Bus VHDL: VHSIC Hardware Description Language VHSIC: Very High Speed Integrated Circuit, 2003.