Metric semantics for true concurrent real time (2001)

by J-P Katoen, C Baier, D Latella
Venue:Theoretical Computer Science