Enhancing the Formal Verification of Train Control Systems based on Decomposition | IEEE Conference Publication | IEEE Xplore