@InProceedings{dangelo05lola,
  author = 	 {Ben D'Angelo and Sriram Sankaranarayanan and C\'esar
                  S\'anchez and Will Robinson and Bernd Finkbeiner and
                  Henny B. Sipma and Sandeep Mehrotra and Zohar Manna},
  title = 	 {{LOLA}: Runtime Monitoring of Synchronous Systems},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the 12th International Symposium of Temporal Representation and Reasoning (TIME 2005)},
  pages = 	 {166-174},
  year = 	 {2005},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IEEE Computer Society Press},
  OPTnote = 	 {},
  OPTannote = 	 {}
}