Intrusion Detection & Prevention in Programmable Logic Controllers: A Model-driven Approach | IEEE Conference Publication | IEEE Xplore