@inproceedings{CPG09rvrt,
  author    = {Christian Colombo and
               Gordon J. Pace and
               Gerardo Schneider},
  title     = {Safe Runtime Verification of Real-Time Properties},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International
               Conference (FORMATS)},
  year      = {2009},
  pages     = {103-117},
   series    = {Lecture Notes in Computer Science},
  volume    = {5813},
  address   = {Budapest, Hungary}
}