Incorporating Software into Nuclear Power Plant System Design | IEEE Journals & Magazine | IEEE Xplore