Evaluating a Time-Triggered Runtime System by Distributing a Flight Controller | IEEE Conference Publication | IEEE Xplore