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