Heffernan, Donal; MacNamee, Ciaran
(Elsevier, 2016)
This paper exploits the observability of control messages in a control network to formally monitor safety properties to verify a control application's correct behaviour. A monitor scheme is proposed based on a runtime ...