Mission level design of avionics | IEEE Conference Publication | IEEE Xplore