A Method of Improving the Efficiency of Verification and Validation for the Railway Signaling System | IEEE Conference Publication | IEEE Xplore