@misc{weko_4666_1, title = "Orthros: A High-Reliability Operating System with Transmigration of Processes", howpublished = "application/pdf", month = "dec", year = "2013" }