Book

Formal Techniques in Real-Time and Fault-Tolerant Systems

by W. P. De Roever