Integrated modular avionics for next-generation commercial airplanes | IEEE Conference Publication | IEEE Xplore