Automating Test Case Generation from Z Specifications with Isabelle. - Steffen Helke; Thomas Neustupny; Thomas Santen (ZUM, 1997)

Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. - Maritta Heisel; Rainer Mackenthun; Thomas Neustupny; Sadegh Sadeghipour; Matthias Weber 001 (GI Jahrestagung, 1998)