Sprachgestützte Modellierung des Verhaltens digitaler Schaltungen und Systeme: Einige Probleme und Lösungsansätze.