Title: Abstrakte Modellierung digitaler Schaltungen