LOLA: Runtime Monitoring of Synchronous Systems. - Ben D'Angelo; Sriram Sankaranarayanan 001; César Sánchez 001; Will Robinson; Bernd Finkbeiner; Henny B. Sipma; Sandeep Mehrotra; Zohar Manna (TIME, 2005)