Programmable electronic and hardwired emergency shutdown systems: a quantified safety analysis | IEEE Conference Publication | IEEE Xplore