Formal analysis of railway signalling data.