@techreport{weko_90685_1,
   author	 = "田村雅成 and 兪明連 and 横山孝典",
   title	 = "モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法",
   year 	 = "2013",
   institution	 = "東京都市大学, 東京都市大学, 東京都市大学",
   number	 = "31",
   month	 = "mar"
}