Return to Article Details Design and safety verification of computer interlocking system in railways Download Download PDF