Principles of Integrated Airborne Avionics