Title: Principles of Integrated Airborne Avionics