@InProceedings{isola12delta,
  author = 	 {Eric Bodden and Kevin Falzon and Ka I Pun and Volker Stolz},
  title = 	 {Delta-oriented Monitor Specification},
  booktitle = {5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)},
  year = 	 {2012},
  month = 	oct,
  publisher = {Springer},
  url = {https://www.bodden.de/pubs/bfp+12delta.pdf},
  pages={162--177},
	annote = {an VGWort gemeldet},
}