大須賀 昭彦, 田原 康之, 中川 博之, 川村 隆浩: マルチエージェントによる自律ソフトウェア設計・開発,コロナ社 (2017.06)

長谷川 哲夫, 磯部 祥尚, 田原 康之, 大須賀 昭彦 (監修): UPPAALによる性能モデル検証—リアルタイムシステムのモデル化とその検証,近代科学社 (2012.09)

吉岡 信和, 青木 利晃, 田原 康之, 萩谷 昌巳 (監修): SPINによる設計モデル検証—モデル検査の実践ソフトウェア検証,近代科学社(2008.09)