Experimental validation of a performance model for a distributed recoverable Boeing 747 flight control system subject to digital upsets | IEEE Conference Publication | IEEE Xplore