Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit ZeitdiagrammenPrévenez-moi