Software Model Checking of Interlocking Programs - Phillip James (Springer Nature Switzerland, 2023)
Part of the Lecture Notes in Computer Science book series (LNCS,volume 14165)