The 3B20D Processor & DMERT operating systems: Fault detection and recovery | Nokia Bell Labs Journals & Magazine | IEEE Xplore