An ILP for scheduling rolling stock maintenance activities under operational and logistical constraints | IEEE Conference Publication | IEEE Xplore