Flight-critical distributed systems - design considerations | IEEE Conference Publication | IEEE Xplore