Unified Approach to Static and Runtime Verification. - Olga Thoss; Andreas Werner; Robert Kaiser; Reinhold Kröger (GI-Jahrestagung, 2020)