Scalable cloud based semantic code analysis to support continuous integration of industrial PLC code | IEEE Conference Publication | IEEE Xplore