Assurance technology for large transport operation control system. - Kazuo Kera; Masayuki Shoji; Tokuro Igarashi; Akio Ando; Kinji Mori (ISADS, 2005)