Modeling of train control system and a method of assurance evaluation | IEEE Conference Publication | IEEE Xplore