Structured modeling, analysis, and control of complex railway operations | IEEE Conference Publication | IEEE Xplore