@techreport{weko_82085_1,
   author	 = "望月,祐希 and 野口,健一郎",
   title	 = "組込みソフトウェアの系統的な設計と検証―状態遷移設計とSPINの適用―",
   year 	 = "2012",
   institution	 = "神奈川大学／現在，日立情報通信エンジニアリング(株), 神奈川大学",
   number	 = "8",
   month	 = "may"
}