@inproceedings{CTT100645916,
  author = {Shigeki Hagihara and Takahiro Arai and Masaya Shimakawa and Naoki Yonezaki},
  title = {Developing Embedded Systems from Formal Specifications Written in Temporal Logic},
  booktitle = {Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering},
  year = 2012,
}

@inproceedings{CTT100631691,
  author = {新井貴大 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法},
  booktitle = {ソフトウェア工学の基礎XVIII, 日本ソフトウェア科学会 FOSE2011},
  year = 2011,
}