A unifying framework for dynamic monitoring and a taxonomy of optimizations Jakobs, Marie-Christine Mantel, Heiko 2020 - TUHH Open Research