論文誌
[1] 大平雅雄, 横森励士, 阪井誠, 岩村聡, 小野英治, 新海平, 横川智教, "ソフトウェア開発プロジェクトのリアルタイム管理を目的とした支援システム," 電子情報通信学会論文誌D-I, volume J88-D-I, number 2, pages 228--239 2005年2月.
[2] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Feature Interaction Detection by Bounded Model Checking," IEICE Transactions on Information and Systems, volume E86-D, number 12, pages 2579--2587 December 2003.
国際会議
[1] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking," In Proc. 2003 International Technical Conference on Circuits/Systems, volume Computers and Communications (ITC-CSCC2003), number 3, pages 1807--1810 July 2003.