In the railway field, rigorous development processes contribute to implement safe systems. Railway safety standards recommend the use of formal modelling and verification techniques to guarantee processes correctness and validate safety requirements. In this paper, we illustrate how formal methods can be advantageously brought into play to promote the development of ETCS Level 3. This work is performed in the context of PERFORMINGRAIL European project.