@doctoralThesis{Faymonville_2019,
title={Monitoring with Parameters},
author={Faymonville, Peter},
doi={http://dx.doi.org/10.22028/D291-28005},
year={2019}
}