@inproceedings{CTT100391782,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {An Aspect-Oriented Approach to Modular Behavioral Specifications},
  booktitle = {Electronic Notes in Theoretical Computer Science, Elsevier},
  year = 2006,
}

@inproceedings{CTT100410891,
  author = {橋本康範 and 渡部卓雄 and 山田聖},
  title = {Moxaによるアスペクト指向的仕様記述：プロトコルからのモジュラーなDbC記述に向けて},
  booktitle = {情報処理学会研究報告},
  year = 2006,
}

@inproceedings{CTT100406177,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {Runtime Detection of Covert Channels},
  booktitle = {},
  year = 2006,
}