メンバー紹介 - 中川博之, 田口研治, 本位田真一：モデル変換に基づく要求記述を利用した形式仕様の構築,情報処理学会論文誌，Vol.49，No.7，pp.2304-2318 (2008.7).