メンバー紹介 - 玉田和洋, 中川博之, 中山健, 田原康之, 大須賀昭彦: モデル検査によるAjaxアプリケーション検証のためのモデルの提案, 第16回 ソフトウェア工学の基礎ワークショップ(FOSE2009), ホテルおかだ (2009.11). pp333-334.