@techreport{weko_142724_1,
   author	 = "中島,震",
   title	 = "AlloyとEvent-Bを用いる2段階モデリング手法",
   year 	 = "2015",
   institution	 = "国立情報学研究所",
   number	 = "25",
   month	 = "jul"
}