Ulrich Ultes-Nitsche: A Persistent-Set Approach to Abstract Stat-Space Construction in Verification. SOFSEM 1999: 470-478