A Mandal, D Mohan, R Jetley, S Nair… - 2018 IEEE 23rd …, 2018 - dl.acm.org
Software used to monitor and control operations within an automation system is defined
using domain-specific languages. Latent errors in the control code, if left undetected, can …