Timed automata: Semantics, algorithms and tools
Wang Yi
Architecture-Centric Fault Tolerance with Exception Handling