@inproceedings{CGG08FMICS,
  author    = {Christian Colombo and
               Gordon J. Pace and
               Gerardo Schneider},
  title     = {Dynamic Event-Based Runtime Monitoring of Real-Time and
               Contextual Properties},
  booktitle = {Formal Methods for Industrial Critical Systems (FMICS)},
  year      = {2008},
  pages     = {135-149},
  series    = {Lecture Notes in Computer Science},
  address   = {L'Aquila, Italy},
  volume    = {5596}
}