Supporting firm real-time traffic in fault-tolerant real-time systems based on cyclic scheduling — The WICKPro protocol | IEEE Conference Publication | IEEE Xplore