@Inproceedings{Havelund2015,
author="Havelund, Klaus
and Reger, Giles",
editor="Drechsler, Rolf
and K{\"u}hne, Ulrich",
title="Specification of Parametric Monitors",
bookTitle="Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015",
year="2015",
publisher="Springer Fachmedien Wiesbaden",
pages="151--189",
}