Design of Test Case for ATP Speed Monitoring Function Based on Cause-effect Graph | IEEE Conference Publication | IEEE Xplore