Dealing with different time granularities in formal specifications of real-time systems - Corsetti, E; Montanari, A; Ratto, E (Real-Time Systems, 1991)