1. ARINC specification 653, avionics application software standard interface;Spitzer,2014
2. Watkins CB, Walter R. Transitioning from federated avionics architectures to integrated modular avionics. In: AIAA/IEEE digital avionics systems conference; 2007 Oct 21–25; Dallas, USA. Piscataway, NJ: IEEE Press; 2009. p. 2.A.1-1-10.
3. Safety comparison of centralized and distributed aircraft separation assurance concepts;Shortle;IEEE Trans Reliab,2014
4. Risk assessment of software-system specifications;Ammar;IEEE Trans Reliab,2001
5. The petri net markup language: concepts, technology, and tools;Billington,2003