Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios Tsachouridis. Generation of simulink monitors for control applications from formal requirements. In 12th IEEE International Symposium on Industrial Embedded Systems, SIES 2017, Toulouse, France, June 14-16, 2017. pages 1-9, IEEE, 2017. [doi]
Abstract is missing.