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

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

Event Streams in Action: Real-Time Event Systems with Kafka and Kinesis

Embedded Microcomputer Systems: Real Time Interfacing by Jonathan W. Valvano

Model Checking, Synthesis, and Learning: by Ernst-Rüdiger Olderog PAPERBACK

Real-Time Systems by Jane W. S. Liu

Embedded and Real-Time Operating Systems by Wang

Real-Time Systems - 9780521883337