GERMANY: Signalling and train control supplier Thales Deutschland has agreed to use the ERTMSFormalSpecs open-source modelling tool to test braking curves in the development of its onboard unit for... Continue reading...