Formalization and validation of a subset of the European Train Control System | IEEE Conference Publication | IEEE Xplore