src: 1997: Verfahren für die Planung und den Betrieb eines Eisenbahnsystems basierend auf einer formalen Beschreibung des Streckennetzes
tgt: 1997: Method for planning and operating a railway system based on a formal description of the track network