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