James, P. and Roggenbach, M. (2011) “Automatically Verifying Railway Interlockings using SAT-based Model Checking”, Electronic Communications of the EASST, 35. doi: 10.14279/tuj.eceasst.35.547.