Train control simulations are realized using a PLC in Kun Ming et al (2012) and Hulea et al (2008). UML diagrams are used for the analysis and design of railway interlocking systems in Pataricza et al (2003), Abbaneo et al (2006), Hon and Maik (2006).