Theorie und Anwendung der qualitativen Modellierung zeitdiskreter dynamischer Systeme durch nichtdeterministische Automaten / Gerwald Lichtenberg. Düsseldorf : VDI-Verl., 1998