Ein theoretisches Modell des Zeitverhaltens digitaler Schaltungen und seiner Anwendung in Simulationshard- und -software