@InProceedings{	  basin.ea:monitoring:2010,
  author	= {David Basin and Felix Klaedtke and Samuel M\"uller},
  booktitle	= {15th ACM Symposium on Access Control Models and
		  Technologies (SACMAT)},
  copyright	= {ACM },
  language	= {USenglish},
  pages		= {23--33},
  publisher	= {ACM Press},
  title		= {Monitoring Security Policies with Metric First-order
		  Temporal Logic},
  year		= 2010,
  user		= {felixkl}
}