Modeling and Verification of an Automatic Train Protection System | IEEE Conference Publication | IEEE Xplore