H
[HR07] Yoram Hirshfeld and Alexander Rabinovich. Expressiveness of Metric modalities for continuous time. Logical Methods in Computer Science 3(1). March 2007. 
@article{lmcs3(1)-HR,
  author =              {Hirshfeld, Yoram and Rabinovich, Alexander},
  title =               {Expressiveness of Metric modalities for continuous
                         time},
  journal =             {Logical Methods in Computer Science},
  volume =              {3},
  number =              {1},
  year =                {2007},
  month =               mar,
  doi =                 {10.2168/LMCS-3(1:3)2007},
}
List of authors