Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems | IEEE Journals & Magazine | IEEE Xplore