@inproceedings{AhrendtPaceSchneider12,
  author    = {Wolfgang Ahrendt and
               Gordon J. Pace and
               Gerardo Schneider},
  title     = {A Unified Approach for Static and Runtime Verification:
               Framework and Applications},
  booktitle = {Leveraging Applications of Formal Methods, Verification
               and Validation - 5th
               International Symposium, ISoLA 2012, Heraklion, Crete, Greece,
               Proceedings, Part I},
  year      = {2012},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  volume    = {7609},
  pages     = {312-326},
  ee        = {http://dx.doi.org/10.1007/978-3-642-34026-0_24},
  series    =  {LNCS},
  publisher =  {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}