M. Volcic: "Sicherheitskritische Modelleisenbahnsteuerung in Ada"; Supervisor: J. Blieberger; 183, 2011.