PERFORMING RAIL PERFORMING RAIL aims to delineate, through formal modeling and optimal traffic management, moving block railway signaling using advanced train positioning approaches for diverse market segments