Reliability Models for a Safe Train Traffic Control Systems Accounting the Railway Infrastructure States | IEEE Conference Publication | IEEE Xplore