Ontario Hydro experience in the identification and mitigation of potential failures in safety critical software systems | IEEE Journals & Magazine | IEEE Xplore