introduction to the formal design of real-time systems (en Inglés)

gray, david f. · springer