@InProceedings{	  basin.ea:monitoring:2011,
  abstract	= {We have previously presented a monitoring algorithm for
		  compliancechecking of policies formalized in an expressive
		  metric first-ordertemporal logic. We explain here the steps
		  required to go from theoriginal algorithm to a working
		  infrastructure capable of monitoringan existing distributed
		  application producing millions of log entriesper day. The
		  main challenge is to correctly and efficiently monitorthe
		  trace interleavings obtained by totally ordering actions
		  thathappen at the same time. We provide solutions based on
		  formulatransformations and monitoring representative
		  traces. We also report,for the first time, on statistics on
		  the performance of our monitor onreal-world data, providing
		  evidence of its suitability for nontrivialapplications.},
  address	= {Los Alamitos, CA, USA},
  author	= {David Basin and Mat\'u\v{s} Harvan and Felix Klaedtke and
		  Eugen Z\u{a}linescu},
  booktitle	= {18th International Symposium on Temporal Representation
		  and Reasoning (TIME 2011)},
  language	= {USenglish},
  month		= {sep},
  pages		= {88--95},
  publisher	= {IEEE Computer Society},
  title		= {Monitoring Usage-control Policies in Distributed Systems},
  year		= 2011
}