Application of entity automata to railway transportation system modeling and simulation | IEEE Conference Publication | IEEE Xplore