@InProceedings{Basin_etal:monitoring_mfotl,
  author = 	 {David Basin and Felix Klaedtke and Samuel M\"uller},
  title = 	 {Policy Monitoring in First-Order Temporal Logic},
  booktitle =    {Proceedings of the 22nd International Conference on 
                  Computer Aided Verification (CAV'10)},
  pages = 	 {1--18},
  year = 	 {2010},
  volume = 	 {6174},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}