Case study on distributed and fault tolerant system modeling based on timed automata

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 823 citations · Full text

Engineering, Real-time Program, Verification +22

Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised

Robert I. Davis, Alan Burns, Reinder J. Bril et al. · Real-Time Systems · 2007 · 768 citations · Full text

Engineering, Real-time System Design, Network Analysis +16

Holistic schedulability analysis for distributed hard real-time systems

K. Tindell, John A. Clark · Microprocessing and Microprogramming · 1994 · 747 citations

Engineering, Holistic Schedulability Analysis, Systems Engineering +7

What's Decidable about Hybrid Automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · Journal of Computer and System Sciences · 1998 · 668 citations · Full text

Reachability Analysis, Logical Automaton, Engineering +15

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

Sam Owre, John Rushby, Natarajan Shankar et al. · IEEE Transactions on Software Engineering · 1995 · 493 citations

Engineering, Verification, Fault-tolerant Architectures +23