Formal verification of PLC controlled systems using Sensor Graphs | IEEE Conference Publication | IEEE Xplore