Formalised procedures and formal methods for the rail safety planning and control activities.