吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚: モデル検査による設計検証, 日本ソフトウェア科学会コンピュータソフトウェア, Vol.31, No.4, pp.4_40-4_65 (2014.12)