Methodische Anforderungsanalyse und automatisierter Entwurf sicherheitsrelevanter Eisenbahnleitsysteme mit kooperierenden Werkzeugen. - Gert Bikker; Martin Schroeder 002 (VDI-Verlag, 2003)