Model-Based Generation of Interlocking Controller Software from Control Tables. - Cédric Chevillat; David A. Carrington; Paul A. Strooper; Jörn Guy Süß; Luke Wildman (ECMDA-FA, 2008)