1. Boehm, Barry W. "Verifying and validating software requirements and design specifications." IEEE software 1.1 (1984).
2. S-18 Aircraft and Sys Dev and Safety Assessment Committee: Guidelines for development of civil aircraft and systems. SAE International (2010)
3. David D. Walden, Garry J. Roedler, Kevin J. Forsberg, R. Douglas Hamelin, Thomas M. Shortell (Eds.). “System Engineering Handbook: A Guide for System Life Cycle Process and Activities” (4th ed.). San Diego CA: International Counsil on System Engineering (INCOSE). 2015
4. Software Considerations in Airborne Systems and Equipment Certification, DO-178C (2011)
5. Gauci, J., Xuereb, M., Muscat, A., Zammit-Mangion, D.: Multi-modal interaction between pilots and avionic systems on-board large commercial aircraft. In: Harris, D. (eds) Engineering psychology and cognitive ergonomics: cognition and design. EPCE 2017. Lecture Notes in Computer Science, vol 10276. Springer, Cham (2017)