P. James and M. Roggenbach, “Automatically Verifying Railway Interlockings using SAT-based Model Checking”, eceasst, vol. 35, Apr. 2011.