Reliability model of a relay output card with diagnostic circuitry for safety instrumented system | IEEE Conference Publication | IEEE Xplore