Model Checking Interlocking Control Tables
Verification of Railway Interlocking Tables using Coloured Petri Nets