OnTrack: Reflecting on domain specific formal methods for railway designs - Phillip James (Science of Computer Programming, 2023)