@InProceedings{Angelo+others/05/Lola,
  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},
  booktitle =    {12^{th} International Symposium on Temporal
                   Representation and Reasoning ({TIME'05})},
  year = 	 2005,
  location =     {Burlington, Vermont},
  month =        {June},
  publisher =    {IEEE Computer Society Press},
  pages =        {166--174}
}