Modeling and simulation of Railway traffic as a hybrid system | IEEE Conference Publication | IEEE Xplore