A model-based architecture for interactive run-time monitoring. - Hili, Nicolas; Bagherzadeh, Mojtaba; Jahed, Karim; Dingel, Juergen (Software & Systems Modeling, 2020)