A mathematical programming model for the management of carriages in virtually coupled trains | IEEE Conference Publication | IEEE Xplore