Programmable Electronic and Hardwired Emergency Shutdown Systems: A Quantified Safety Analysis | IEEE Journals & Magazine | IEEE Xplore