@InProceedings{	  jakobs.mantel:unifying,
  author	= {Marie-Christine Jakobs and Heiko Mantel},
  title		= {A Unifying Framework for Dynamic Monitoring and a Taxonomy
		  of Optimizations},
  booktitle	= {International Symposium On Leveraging Applications of
		  Formal Methods, Verification and Validation (ISOLA)},
  year		= 2020,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2020/2020-ISoLA-JakobsMantel.pdf}
}