Runtime Efficient State Compaction in SPIN. - Jaco Geldenhuys; P. J. A. de Villiers (SPIN, 1999)