Ein rechnergestützter Ingenieurarbeitsplatz und seine Anwendung zur Sicherung fehlerfreier Mikrorechnersysteme. - Knut Wutschke (1989)