An operation level based train regulation model for a metro line | IEEE Conference Publication | IEEE Xplore