Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order Observations - Köhl, Maximilian A.; Hermanns, Holger (ACM transactions on embedded computing systems, 2023)
Keywords: Computer systems organization; Embedded systems; Fault tolerance; Formal languages and automata theory; Hardware; Real-time systems; Theory of computation; timed automata; Online fault diagnosis; embedded real-time systems