@inproceedings{D_Angelo,
    doi = {10.1109/time.2005.26},
    url = {https://doi.org/10.1109%2Ftime.2005.26},
    publisher = {{IEEE}},
    author = {B. D{\textquotesingle}Angelo and S. Sankaranarayanan and C. Sanchez and W. Robinson and B. Finkbeiner and H.B. Sipma and S. Mehrotra and Z. Manna},
    title = {{LOLA}: Runtime Monitoring of Synchronous Systems},
    booktitle = {12th International Symposium on Temporal Representation and Reasoning ({TIME}{\textquotesingle}05)}
}

@inproceedings{D_Angelo, doi = {10.1109/time.2005.26}, url = {https://doi.org/10.1109%2Ftime.2005.26}, publisher = {{IEEE}}, author = {B. D{\textquotesingle}Angelo and S. Sankaranarayanan and C. Sanchez and W. Robinson and B. Finkbeiner and H.B. Sipma and S. Mehrotra and Z. Manna}, title = {{LOLA}: Runtime Monitoring of Synchronous Systems}, booktitle = {12th International Symposium on Temporal Representation and Reasoning ({TIME}{\textquotesingle}05)} }