1. A. Simpson, Towards the mechanical verification of moving block signaling systems, Technical report, Oxford Brookes University, 1999.
2. Formal development and verification of a distributed railway control system;Haxthausen;IEEE Trans. Softw. Eng.,2000
3. Specification case studies in raise. Formal approaches to computing and information technology;Van,2002
4. Promotion of local to global operation in train control system;Khan;J. Digital Inform. Manage.,2007
5. Improving moving block interlocking system using fuzzy multi agent specification language;Khan;Int. J. Innovat. Comput. Inform. Control,2011