Handling fault detection latencies in automata-based scheduling for embedded control software | IEEE Conference Publication | IEEE Xplore