Modulare Abstraktionen reaktiver Knoten mit disjunktiven Invarianten