Towards Automatic Design and Verification for Level 3 of the European Train Control System | IEEE Conference Publication | IEEE Xplore