ERTMS Solution formalization tool