Safety Analysis by Box Modeling Method of System Behavior – Application to Train Control System. - Shigeto Hiraguri; Noriyuki Nishibori; Yasuko Hidaka; Takayuki Kasai; Hideo Nakamura (PRDC, 2001)