A Computer-aided Tool for Generating Test Sequence for CTCS-3 Train Control System