Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi: Model Checking Interlocking Control Tables. FORMS/FORMAT 2010: 107-115