メンバー紹介 - 吉池弘樹，本田耕三，中川博之，田原康之，大須賀昭彦，”モデル検査のためのオブジェクト制約言語を用いた外部環境モデルの構築のための考察”，ソフトウェア工学の基礎ワークショップ FOSE 2011／日本ソフトウェア科学会，pp.109-114 (2011.11)．