Extending the verification coverage for PLC control programs: A functional safety approach | IEEE Conference Publication | IEEE Xplore