A Domain-Specific Language for Generic Interlocking Models and Their Properties. - Linh H. Vu; Anne E. Haxthausen; Jan Peleska 001 (RSSRail, 2017)