@techreport{weko_27527_1,
   author	 = "藤田,昌宏 and 木下,常雄 and 石井,忠俊 and 酒井,良哲 and Mike,Olivarez and 冨山,宏之 and 高田,広章 and 本田,晋也 and 竹井,良彦",
   title	 = "SpecC言語に基づくシステムレベル設計手法",
   year 	 = "2002",
   institution	 = "東京大学工学系研究科, SpecC Technology Open Consortium 事務局, インターデザイン・テクノロジー, （株）東芝, Motorola  INC., （財）九州システム情報技術研究所, 豊橋技術科学大学情報工学系, 豊橋技術科学大学情報工学系, 松下通信工業（株）",
   number	 = "5(2001-SLDM-104)",
   month	 = "jan"
}