James, P.; Roggenbach, M. Automatically Verifying Railway Interlockings Using SAT-Based Model Checking. ECEASST 2011, 35.