The ERTMS as a VDM model Overture: http://overturetool.org/ ERTMS: https://en.wikipedia.org/wiki/European_Train_Control_System