Modelling and Verification of the System Requirement Specification of Train Control System Using SDL | IEEE Conference Publication | IEEE Xplore