A New Era in Auditable Human Engineered Control System Design???NUREG 0700 | IEEE Journals & Magazine | IEEE Xplore