@inproceedings{BasinHKZ-RV11,
  author = {David Basin and Matus Harvan and Felix Klaedtke and Eugen Zalinescu},
  title = {{MONPOLY}: {M}onitoring {U}sage-control {P}olicies},
  booktitle = {2nd International Conference on Runtime Verification (RV'2011)},
  year = 2011,
  pages = {360--364},
  series = {Lecture Notes in Computer Science},
  volume = {7186},
  publisher = {Springer},
  doi = {10.1007/978-3-642-29860-8_27},
}