@techreport{weko_74106_1,
   author	 = "柳,翔太 and 小飼,敬 and 上田,賀一 and 大久保,訓 and 高橋,勇喜 and 中野,利彦",
   title	 = "情報制御システム記述モデルの検証項目記述とSPINによる確認",
   year 	 = "2011",
   institution	 = "茨城大学, 茨城工業高等専門学校, 茨城大学, 株式会社日立製作所, 株式会社日立製作所, 株式会社日立製作所",
   number	 = "10",
   month	 = "mar"
}