Safety analysis by box modeling method of system behavior-application to train control system | IEEE Conference Publication | IEEE Xplore