Masayuki Matsumoto Tadao Tsurumaki Dai Watanabe Kinji Mori Modeling of Train Control System and a Method of Assurance Evaluation. 89-94 2002 conf/icdcsw/2002 ICDCS Workshops http://csdl.computer.org/comp/proceedings/icdcsw/2002/1588/00/15880089abs.htm db/conf/icdcsw/icdcsw2002.html#MatsumotoTWM02