The book supplies a framework for the study of real-time systems, facilitating a higher level of abstraction and a sharper focus on concepts and issues. Invariably this framework relies on mathematics, but the mathematics are explained fully and kept to the minimum.
