Assurance technology for the mode change of autonomous decentralised train control system. - Tsuyoshi Suzuki; Takashi Kawano; Yutaka Umehara; Yoshihide Nagatsugu; Masayuki Matsumoto (Int. J. Crit. Comput. Based Syst., 2011)