"萩原茂樹,北村佑介,島川昌也,関戸聡,米崎直樹","リアクティブシステム仕様を実現可能にするための環境制約の抽出",,"コンピューターソフトウェア","岩波書店","Vol. 28","No. 3","pp. 132-146",2011,Aug.