Real-Time Systems: Formal Specification and Automatic Verification

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

Software Specification and Design: A Disciplined Approach for Real-Time Systems

Realtime Phoenix: Build Highly Scal..., Bussey, Stephen

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