Masayuki Matsumoto Tadao Tsurumaki Tatsuya Shigeta Korefumi Tashiro Dai Watanabe Dependable Automatic Train Control System Using Digital Track Signals. 341-346 2001 conf/prdc/2001 PRDC http://csdl.computer.org/comp/proceedings/prdc/2001/1414/00/14140341abs.htm db/conf/prdc/prdc2001.html#MatsumotoTSTW01