@article{CTT100625774,
  author = {萩原茂樹 and 北村佑介 and 島川昌也 and 関戸聡 and 米崎直樹},
  title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出},
  journal = {コンピューターソフトウェア},
  year = 2011,
}

@inproceedings{CTT100593464,
  author = {Shigeki Hagihara and Yusuke Kitamura and Masaya Shimakawa and Naoki Yonezaki},
  title = {Extracting Environmental Constraints to Make Reactive System Specifications Realizable},
  booktitle = {Proceedings of 16th Asia-Pacific Software Engineering Conference APSEC 2009},
  year = 2009,
}

@inproceedings{CTT100593463,
  author = {萩原茂樹 and 北村佑介 and 島川昌也 and 米崎直樹},
  title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出},
  booktitle = {ソフトウェア工学の基礎XVI, 日本ソフトウェア科学会 FOSE2009},
  year = 2009,
}

@inproceedings{CTT100566824,
  author = {北村佑介 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様の外部環境制約について},
  booktitle = {第五回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}