Efficient formalization of railway interlocking data in RailML. - Mark Bosschaart; Egidio Quaglietta; Bob Janssen; Rob M. P. Goverde (Inf. Syst., 2015)