F. Bruckner: "Entwurf und Implementierung eines wertebasierten Diagnose-Modells für VHDL-Programme"; Supervisor: F. Wotawa; Institut für Informationssysteme, 2003.