Real-Time Systems by Ernst-Rüdiger Olderog: New

Real-Time Systems: Formal Specification and Autom... by Dierks, Henning Hardback

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

Real-Time Systems: Formal Specification and Automatic Verificati

Real-Time Systems: Formal Specification and Automatic Verification

Specification and Seamless Verification of Embedded Real-Time Systems : Focus...

Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks

Specification and Compositional Verification of Real-Time Systems by Jozef Hooma