@techreport{weko_21398_1,
   author	 = "伊藤,恵 and 久保秋,真",
   title	 = "組み込みソフトウェア開発のための仕様シミュレーション環境",
   year 	 = "2002",
   institution	 = "公立はこだて未来大学, キヤノンソフトウェア（株）",
   number	 = "64(2002-SE-138)",
   month	 = "jul"
}