James, Phillip, and Markus Roggenbach. “Automatically Verifying Railway Interlockings Using SAT-Based Model Checking”. Electronic Communications of the EASST 35 (April 14, 2011). Accessed November 27, 2024. https://eceasst.org/index.php/eceasst/article/view/1750.