U.S. regulatory requirements for positive train control systems / The model-driven openETCS paradigm for secure, safe and certifiable train control systems / Semi-quantitative risk assessment of technical systems on European railways / The ForMoSA approach to qualitative and quantative model-based safety analysis / Verification and validation of interoperability / Fault injection for on-board ERTMS/ETCS safety assessment / Impact of electromagnetic enviroment on reliability assessment for railway signalling systems / Mívtha : a framework for auto-programming and testing of railway controllers for varying clients / Software-based self-test for reliable applications in railway systems / Real-time hardware-in-the-loop in railway : simulations for testing control software of electromechanical train components / Hardware-in-the-loop testing of on-board subsystems : some case studies and applications / The role of formal methods in software development for railway applications / Symbolic model checking for interlocking systems / Designing usable interactive systems within the railway domain : a human factors approach / Integration of human factors to safety assessments by human barrier interaction / Advanced techniques for monitoring the condition of mission-critical railway equipment / Security of railway infrastructure / ETCS developing and operation : Italian experience -- Adoption of low-cost rail level crossing warning devices : an Australian case study