Automated generation of formal safety conditions from railway interlocking tables
Model Checking Interlocking Control Tables