@techreport{weko_21070_1,
   author	 = "中島,震 and 来間啓伸",
   title	 = "Event-Bデザインのモデル検査における抽象化",
   year 	 = "2008",
   institution	 = "国立情報学研究所／総合研究大学院大学, 日立製作所システム開発研究所／国立情報学研究所",
   number	 = "55(2008-SE-160)",
   month	 = "jun"
}