Model-based development of an automatic train operation component for communication based train control | IEEE Conference Publication | IEEE Xplore