Title: Automaten und Logiken zur Beschreibung zeitabhängiger Systeme