DVTS: Design Verification Techniques for Functional Simulation. - Kohei Fukuoka; Ken Ohga; Atsushi Sugiyama; Satoshi Takemura (ITC, 1986)

Main Frame Diagnosis Support System. - Yoichi Tsubuku; Takao Nishida; Hiroshi Shiga; Ken Ohga; Hirohisa Nishine; Mamoru Kaneko (ITC, 1989)