@incollection{Barringer_2012,
    doi = {10.1007/978-3-642-32759-9_9},
    url = {https://doi.org/10.1007%2F978-3-642-32759-9_9},
    year = {2012},
    publisher = {Springer Berlin Heidelberg},
    pages = {68--84},
    author = {Howard Barringer and Yli{\`{e}}s Falcone and Klaus Havelund and Giles Reger and David Rydeheard},
    title = {Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors},
    booktitle = {{FM} 2012: Formal Methods}
}

@incollection{Barringer_2012, doi = {10.1007/978-3-642-32759-9_9}, url = {https://doi.org/10.1007%2F978-3-642-32759-9_9}, year = {2012}, publisher = {Springer Berlin Heidelberg}, pages = {68--84}, author = {Howard Barringer and Yli{`{e}}s Falcone and Klaus Havelund and Giles Reger and David Rydeheard}, title = {Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors}, booktitle = {{FM} 2012: Formal Methods} }