Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System. - Eun-Young Kang 001; Mathias Brix; Daniel Szenczi; Ábel Kováts; Renaud Formosa; Christian W. Melsen; Morten A. Nørgård (ICSRS, 2022)