Achieving traceability in PLC software | IET Conference Publication | IEEE Xplore