An integrated scheduling mechanism for fault-tolerant modular avionics systems | IEEE Conference Publication | IEEE Xplore