M. Celia

Generation of simulink monitors for control applications from formal requirements

Marco Di Natale, Vassilios A. Tsachouridis, Alessio Balsini, 2017, 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES).