@InProceedings{Basin_etal:MONPOLY,
  author = 	 {David Basin and Mat\'u\v{s} Harvan and Felix Klaedtke and Eugen Z\u{a}linescu},
  title = 	 {{MONPOLY}: Monitoring Usage-control Policies},
  booktitle =    {Proceedings of the 2nd International Conference on
                  Runtime Verification (RV)},
  pages = 	 {360--364},
  year = 	 {2012},
  volume = 	 {7186},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}