Keywords :
functional languages; large-scale systems; maintenance engineering; rail traffic; railway engineering; reliability theory; specification languages; ERTMS; European Rail Traffic Management System; UML; availability; complex system behaviour; electrical schematics; functional modelling; interlocking system modelling; maintenance; railway system modelling; reliability; unified modelling language;