Requirements Engineering and Interlocking Design for the Gera–Weischlitz Railway LineTLC Technological Upgrade of the Florence–Rome High-Speed Rail LineSoftware Development High-Speed Rail Bypass and Belfiore Station Detailed Design Review Construction CBTC Signalling Renewal & Automation – Glasgow SubwaySoftware Development