Operating System Reliability for the Navy Advanced Avionic Digital Computer | IEEE Journals & Magazine | IEEE Xplore