Theorie und Anwendung der qualitativen Modellierung zeitdiskreter dynamischer Systeme durch nichtdeterministische Automaten Lichtenberg, Gerwald 1998 - ReposIt