Gert Bikker, Martin Schroeder. Methodische Anforderungsanalyse und automatisierter Entwurf sicherheitsrelevanter Eisenbahnleitsysteme mit kooperierenden Werkzeugen. PhD thesis, Braunschweig University of Technology, Germany, 2003. [doi]
Abstract is missing.