Theorie und Anwendung der qualitativen Modellierung zeitdiskreter dynamischer Systeme durch nichtdeterministische Automaten - Lichtenberg, Gerwald (VDI-Verl., 1998)