A framework for runtime verification of industrial process control systems. - Roope Savolainen; Seppo A. Sierla; Tommi Karhela; Tuomas Miettinen; Valeriy Vyatkin (INDIN, 2017)