A static code analysis tool for control system software | IEEE Conference Publication | IEEE Xplore