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