Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System | IEEE Conference Publication | IEEE Xplore