@Inproceedings{Falcone2015,
author="Falcone, Yli{\`e}s
and Ni{\v{c}}kovi{\'{c}}, Dejan
and Reger, Giles
and Thoma, Daniel",
editor="Bartocci, Ezio
and Majumdar, Rupak",
title="Second International Competition on Runtime Verification",
bookTitle="Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings",
year="2015",
publisher="Springer International Publishing",
pages="405--422",
}