A New Era in Auditable, Human Engineered Control System Design--Nureg 0700 | IEEE Journals & Magazine | IEEE Xplore