2018年1月4日 / 最終更新日時 : 2018年1月4日

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

2018年1月3日 / 最終更新日時 : 2018年1月3日

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

2018年1月2日 / 最終更新日時 : 2018年1月2日

磯部 祥尚, 櫻庭 健年, 田口 研治, 田原 康之, 粂野 文洋, 田中 譲 (監修): ソフトウェア科学基礎—最先端のソフトウェア開発に求められる数理的基礎，近代科学社 (2008.09)

2018年1月1日 / 最終更新日時 : 2018年1月1日

吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚: モデル検査による設計検証, 日本ソフトウェア科学会コンピュータソフトウェア, Vol.31, No.4, pp.4_40-4_65 (2014.12)