Model-Driven Runtime Embedded Monitoring for Industrial Controllers | IEEE Conference Publication | IEEE Xplore