Ben D'Angelo Sriram Sankaranarayanan César Sánchez Will Robinson Bernd Finkbeiner Henny B. Sipma Sandeep Mehrotra Zohar Manna LOLA: Runtime Monitoring of Synchronous Systems. 166-174 2005 conf/time/2005 TIME http://dx.doi.org/10.1109/TIME.2005.26 db/conf/time/time2005.html#DAngeloSSRFSMM05