Roope Savolainen, Seppo Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin. A framework for runtime verification of industrial process control systems. In 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017. pages 687-694, IEEE, 2017. [doi]
Abstract is missing.