Dependable Automatic Train Control System Using Digital Track Signals. - Masayuki Matsumoto; Tadao Tsurumaki; Tatsuya Shigeta; Korefumi Tashiro; Dai Watanabe (PRDC, 2001)

Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation . - Masayuki Matsumoto; Tadao Tsurumaki; Satoru Kitamura; Dai Watanabe; Kinji Mori (HASE, 2002)

Modeling of Train Control System and a Method of Assurance Evaluation. - Masayuki Matsumoto; Tadao Tsurumaki; Dai Watanabe; Kinji Mori (ICDCS Workshops, 2002)