TBench Integration einer Prototyping-Umgebung durch objektorientierte Spezifikation (Univ., Fak. für Informatik, 1995)