Title: Ein formales Modell zur zeitrichtigen Beschreibung des Verhaltens endlicher Automaten und Anwendung des Modells in der Mikroprogrammierung