Automaten und Logiken zur Beschreibung zeitabhängiger Systeme - Wilke, Thomas (Inst. für Informatik und Praktische Math., 1994)