Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...

Real-Time Systems: Scheduling, Analysis, and Verification by Albert M.K. Cheng (

Real-Time Systems: Formal Specification and Automatic Verification by Henning Di

Real-Time Systems : Scheduling, Analysis, and Verification, Hardcover by Chen...