A live static code analysis architecture for PLC software | IEEE Conference Publication | IEEE Xplore