Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme.