@inbook{Barringer_2012,
title={Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors},
ISBN={9783642327599},
ISSN={1611-3349},
url={http://dx.doi.org/10.1007/978-3-642-32759-9_9},
DOI={10.1007/978-3-642-32759-9_9},
booktitle={Lecture Notes in Computer Science},
publisher={Springer Berlin Heidelberg},
author={Barringer,
Howard and Falcone,
Yliès and Havelund,
Klaus and Reger,
Giles and Rydeheard,
David},
year={2012},
pages={68–84} }