Reliability of computer based safety systems | IET Conference Publication | IEEE Xplore