Model-Driven Runtime Embedded Monitoring for Industrial Controllers. - Pavel Kustarev; Sergei Bykovskii; Vasiliy Milin; Alexander Antonov (TrustCom/BigDataSE/ISPA (3), 2015)