Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura. Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System. In 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea. pages 375-378, IEEE Computer Society, 2001. [doi]
Abstract is missing.