Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System | IEEE Conference Publication | IEEE Xplore