D.: Metric Semantics for True Concurrent Real Time (1998)

by C Baier, J-P Katoen, Latella
Venue:Automata, Languages and Programming, 25th International Colloquium, ICALP’98, Aalborg, LNCS 1443