R. Pezzei: "Herleitung und Spezifikation einer sicherheitserzeugenden dezentralen Systemkomponente für eine landesweite Gesundheitstelematik"; Supervisor: T. Grechenig; 183/1, 2006.