Flight-critical distributed systems: design considerations [avionics] | IEEE Journals & Magazine | IEEE Xplore