Deterministic Modeling and Simulation of Fault-Tolerant Real-Time Software | IEEE Journals & Magazine | IEEE Xplore