1. Watkins, C.B., Walter, R.: Transitioning from federated avionics architectures to integrated modular avionics. Clerk Maxwell, J. (ed.) A Treatise on Electricity and Magnetism, vol. 2, 3rd edn., pp. 68–73. Clarendon, Oxford (2007)
2. Feiler, P.H., Lewis, B.A., Vestal, S.: The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems. In: Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE Inter-national Symposium on Intelligent Control, 2006 IEEE. IEEE (2006)
3. Zhang, Q., Wang, S., Liu, B.: IMA reconfiguration modeling and reliability analysis based on AADL. In: IEEE 4th Annual International Conference on. Cyber Technology in Automation, Control, and Intelligent Systems (CYBER). IEEE (2014)
4. SAE: Architecture Analysis and Design Language (AADL) Annex Volume 1. SAE standards AS5506/1 (2006)
5. SAE: Architecture Analysis and Design Language (AADL) Annex Volume 2. SAE standards AS5506/2 (2011)