A concurrent scheduling model of distributed train control system | IEEE Conference Publication | IEEE Xplore