Generation of simulink monitors for control applications from formal requirements. - Alessio Balsini; Marco Di Natale; Marco Celia; Vassilios A. Tsachouridis (SIES, 2017)