@inproceedings{CP12FF,
  author    = {Christian Colombo and
               Gordon J. Pace},
  title     = {Fast-Forward Runtime Monitoring - An Industrial Case Study},
  booktitle = {Runtime Verification, Third International Conference, RV
               2012},
  year      = {2012},
  pages     = {214-228},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7687},
}