Suk-Joon Kim, Poong-Hyun Seong, Jun-Seok Lee, Man Cheol Kim, Hyun Gook Kang, Seung-Cheol Jang. A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants. Rel. Eng. & Sys. Safety, 91(5):614-623, 2006. [doi]
Abstract is missing.