@techreport{weko_25545_1,
   author	 = "戴,毛兵 and 石川,裕",
   title	 = "予測可能リアルタイムカーネルの設計と実装",
   year 	 = "2005",
   institution	 = "東京大学情報理工学研究科コンピュータ専攻, 東京大学情報理工学研究科",
   number	 = "48(2005-OS-099)",
   month	 = "may"
}