TY - STD TI - Antoni M, Ammad N (2008) Formal validation method and tools for french computerized railway interlocking systems. In: 4th IET international conference on railway condition monitoring, 2008, IET, Derby, pp 1–10 ID - ref1 ER - TY - BOOK AU - Baier, C. AU - Katoen, J. -. P. PY - 2008 DA - 2008// TI - Principles of model checking PB - MIT press CY - Cambridge ID - Baier2008 ER - TY - STD TI - Behrmann G, David A, Larsen KG (2004) A tutorial on uppaal. In: Formal methods for the design of real-time systems, Springer, Berlin, pp 200–236 ID - ref3 ER - TY - BOOK AU - Bérard, B. AU - Bidoit, M. AU - Finkel, A. AU - Laroussinie, F. AU - Petit, A. AU - Petrucci, L. AU - Schnoebelen, P. PY - 2013 DA - 2013// TI - Systems and software verification: model-checking techniques and tools PB - Springer CY - Berlin ID - Bérard2013 ER - TY - STD TI - Boulanger JL (2015) CENELEC 50128 and IEC 62279 standards. Control, systems and industrial engineering series. Wiley, New York. https://books.google.com.pk/books?id=kEYxBwAAQBAJ UR - https://books.google.com.pk/books?id=kEYxBwAAQBAJ ID - ref5 ER - TY - JOUR AU - Brown, S. PY - 2000 DA - 2000// TI - Overview of i.e.c. 61508. design of electrical/electronic/programmable electronic safety-related systems JO - Comput Control Eng J VL - 11 UR - https://doi.org/10.1049/cce:20000101 DO - 10.1049/cce:20000101 ID - Brown2000 ER - TY - STD TI - Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A (2002) Nusmv 2: an opensource tool for symbolic model checking. In: Computer aided verification, Springer, Berlin, pp 359–364 ID - ref7 ER - TY - BOOK AU - Clarke, E. M. AU - Emerson, E. A. PY - 1982 DA - 1982// TI - Design and synthesis of synchronization skeletons using branching time temporal logic PB - Springer CY - Berlin UR - https://doi.org/10.1007/BFb0025774 DO - 10.1007/BFb0025774 ID - Clarke1982 ER - TY - JOUR AU - Dincel, E. AU - Kurtulan, S. PY - 2012 DA - 2012// TI - Interlocking and automatic operating system design with automaton method JO - Control Transp Syst VL - 13 ID - Dincel2012 ER - TY - STD TI - Ferrari A, Magnani G, Grasso D, Fantechi A (2011) Model checking interlocking control tables. In: FORMS/FORMAT 2010, Springer, Berlin, pp 107–115 ID - ref10 ER - TY - STD TI - Fokkink W (1996) Safety criteria for the vital processor interlocking at hoorn-kersenboogerd. In: 5th conference on computers in railways (COMPRAIL’96), vol 1 ID - ref11 ER - TY - STD TI - Fokkink W, Hollingshead P, Groote J, Luttik S, van Wamel J (1998) Verification of interlockings: from control tables to ladder logic diagrams. In: Proceedings of FMICS, vol 98. pp 171–185 ID - ref12 ER - TY - BOOK AU - Holzmann, G. J. PY - 2004 DA - 2004// TI - The SPIN model checker: primer and reference manual PB - Addison-Wesley Reading CY - Boston ID - Holzmann2004 ER - TY - JOUR AU - James, P. AU - Moller, F. AU - Nguyen, H. N. AU - Roggenbach, M. AU - Schneider, S. AU - Treharne, H. PY - 2014 DA - 2014// TI - Techniques for modelling and verifying railway interlockings JO - Int J Softw Tools Technol Transf VL - 16 UR - https://doi.org/10.1007/s10009-014-0304-7 DO - 10.1007/s10009-014-0304-7 ID - James2014 ER - TY - JOUR AU - Kanso, K. AU - Moller, F. AU - Setzer, A. PY - 2009 DA - 2009// TI - Automated verification of signalling principles in railway interlocking systems JO - Electron Notes Theor Comput Sci VL - 250 UR - https://doi.org/10.1016/j.entcs.2009.08.015 DO - 10.1016/j.entcs.2009.08.015 ID - Kanso2009 ER - TY - STD TI - Khan U, Ahmad J, Saeed T (2015) Real time modeling of interlocking control system of rawalpindi cantt train yard. In: 2015 13th International conference on frontiers of information technology (FIT), IEEE, 2015, pp 347–352 ID - ref16 ER - TY - JOUR AU - Larsen, K. G. AU - Pettersson, P. AU - Yi, W. PY - 1997 DA - 1997// TI - Uppaal in a nutshell JO - Int J Softw Tools Technol Transf VL - 1 UR - https://doi.org/10.1007/s100090050010 DO - 10.1007/s100090050010 ID - Larsen1997 ER - TY - STD TI - Moler F, Nguyen H, Roggenbach M, Schneider S, Treharne H (2012) Combining event-based and state-based modelling for railway verification ID - ref18 ER - TY - BOOK AU - Olderog, E. -. R. AU - Dierks, H. PY - 2008 DA - 2008// TI - Real-time systems: formal specification and automatic verification PB - Cambridge University Press CY - Cambridge UR - https://doi.org/10.1017/CBO9780511619953 DO - 10.1017/CBO9780511619953 ID - Olderog2008 ER - TY - STD TI - Pnueli A (1977) The temporal logic of programs. In: 18th annual symposium on foundations of computer science, 1977, IEEE, New York, pp 46–57 ID - ref20 ER - TY - BOOK AU - Satish, C. AU - Agarwal, M. M. PY - 2007 DA - 2007// TI - Railway engineering PB - Oxford University Press CY - Oxford ID - Satish2007 ER - TY - STD TI - Siemens (2015) S700 K point machine. https://www.mobility.siemens.com/mobility/global/SiteCollectionDocuments/en/rail-solutions/rail-automation/signaling-components/s-700-k-en.pdf. Accessed 11 Aug 2015 UR - https://www.mobility.siemens.com/mobility/global/SiteCollectionDocuments/en/rail-solutions/rail-automation/signaling-components/s-700-k-en.pdf ID - ref22 ER - TY - STD TI - Signals R (2013) Chief engineers division: ESG 100 signal design principles. http://www.asa.transport.nsw.gov.au/sites/default/files/asa/railcorp-legacy/disciplines/signals/esg-100.pdf. Accessed 11 Aug 2015 UR - http://www.asa.transport.nsw.gov.au/sites/default/files/asa/railcorp-legacy/disciplines/signals/esg-100.pdf ID - ref23 ER - TY - STD TI - Signals R (2013) Chief engineers division: SPG 0719 computer-based interlocking requirements. http://www.asa.transport.nsw.gov.au/sites/default/files/asa/railcorp-legacy/disciplines/signals/spg-0719.pdf. Accessed 11 Aug 2015 UR - http://www.asa.transport.nsw.gov.au/sites/default/files/asa/railcorp-legacy/disciplines/signals/spg-0719.pdf ID - ref24 ER - TY - STD TI - Signals R (2013) Chief engineers division: SPG 0713 signalling control systems. http://www.asa.transport.nsw.gov.au/sites/default/files/asa/railcorp-legacy/disciplines/signals/spg-0713.pdf. Accessed 11 Aug 2015 UR - http://www.asa.transport.nsw.gov.au/sites/default/files/asa/railcorp-legacy/disciplines/signals/spg-0713.pdf ID - ref25 ER - TY - STD TI - Söylemez MT, Durmuş MS, Yıldırım U, Türk S, Sonat A (2011) The application of automation theory to railway signalization systems: The case of turkish national railway signalization project. In: Proceedings of the 18th IFAC world congress, pp 10752–10757 ID - ref26 ER - TY - BOOK AU - Szpyrka, M. PY - 2008 DA - 2008// TI - Modelling and analysis of real-time systems with RTCP-nets PB - INTECH Open Access Publisher, Open Access CY - Rijeka UR - https://doi.org/10.5772/5311 DO - 10.5772/5311 ID - Szpyrka2008 ER - TY - STD TI - Turk S, Sonat A, Kuzu A, Soylemez M, Songuler O, Taralp T (2011) Automated interlocking algorithm generation from interlocking tables for railway signalization systems ID - ref28 ER - TY - STD TI - Vu LH, Haxthausen AE, Peleska J (2014) Formal modeling and verification of interlocking systems featuring sequential release. In: Formal techniques for safety-critical systems, Springer, Berlin, pp 223–238 ID - ref29 ER - TY - STD TI - Yildirim U, Durmuş MS, Söylemez MT (2010) Fail-safe signalization and interlocking design for a railway yard: an automation petri net approach. Control Engineering Department, Istanbul Technical University, pp 1–2 ID - ref30 ER -