Orthros: A High-Reliability Operating System with Transmigration of Processes | IEEE Conference Publication | IEEE Xplore