@InProceedings{	  basin.ea:monpoly:2011,
  author	= {David Basin and Mat\'u\v{s} Harvan and Felix Klaedtke and
		  Eugen Z\u alinescu},
  booktitle	= {2nd International Conference on Runtime Verification (RV
		  2011)},
  language	= {USenglish},
  publisher	= {LNCS},
  title		= {MONPOLY: Monitoring Usage-control Policies},
  year		= 2011,
  user		= {mharvan}
}