1. CENELEC CLC/TC 9X. 2011. EN 50128:2011 - Railway applications - Communication signalling and processing systems - Software for railway control and protection systems. CENELEC CLC/TC 9X. 2011. EN 50128:2011 - Railway applications - Communication signalling and processing systems - Software for railway control and protection systems.
2. What is Spatial Logic?
3. The benefits of relaxing punctuality
4. Kirsten Berkenkötter and Ulrich Hannemann . 2006. Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile . In Computer Safety, Reliability, and Security, Janusz Górski (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 398--411. https://link.springer.com/chapter/10.1007/1 1875 567_30 Kirsten Berkenkötter and Ulrich Hannemann. 2006. Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. In Computer Safety, Reliability, and Security, Janusz Górski (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 398--411. https://link.springer.com/chapter/10.1007/11875567_30
5. Efficient formalization of railway interlocking data in RailML