Architecture Design of Distributed Redundant Flight Control Computer Based on Time-Triggered Buses for UAVs | IEEE Journals & Magazine | IEEE Xplore