Duration Calculus: A Formal Approach to Real-time Systems (Monographs in Theoretical Computer Science. An Eatcs Series)