Title: Modelling British Rail's interlocking logic