@Article{KBL99a,
  author = 	 {J.-P. Katoen and C.~Baier and D~ Latella},
  title = 	 {Metric
      Semantics for True Concurrent Real-Time},
  journal = 	 {Theoretical Computer Science},
  year = 	 1999
}