Towards Configurable Conformance Checks of PLC Software with Company-specific Guidelines | IEEE Conference Publication | IEEE Xplore