Wolfgang Papke: Modellierung und Simulation des Zeitverhaltens digitaler Systeme. Dresden University of Technology, Germany 1989