@InProceedings{DAngelo:TIME05-166,
  author =       "Ben D'Angelo and Sriram Sankaranarayanan and C{\'e}sar
                 S{\'a}nchez and Will Robinson and Bernd Finkbeiner and
                 Henny B. Sipma and Sandeep Mehrotra and Zohar Manna",
  title =        "{LOLA}: {Runtime} Monitoring of Synchronous Systems",
  year =         "2005",
  pages =        "166--174",
  ee =           "http://dx.doi.org/10.1109/TIME.2005.26",
  booktitle =    "12th International Symposium on Temporal
                 Representation and Reasoning ({TIME} 2005), 23--25 June
                 2005, Burlington, Vermont, {USA}",
  publisher =    "IEEE Computer Society",
  ISBN =         "0-7695-2370-6",
  URL =          "http://react.cs.uni-sb.de/fileadmin/user_upload/react/time05.pdf",
}