@inbook{4371,
  abstract     = {We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms for the real-time logic MITL.},
  author       = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
  booktitle    = {Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday},
  isbn         = {9783540781264},
  pages        = {475 -- 505},
  publisher    = {Springer},
  title        = {{Checking Temporal Properties of Discrete, Timed and Continuous Behaviors}},
  doi          = {10.1007/978-3-540-78127-1_26},
  year         = {2008},
}