Jaco Geldenhuys P. J. A. de Villiers Runtime Efficient State Compaction in SPIN. 12-21 1999 conf/spin/1999 SPIN http://link.springer.de/link/service/series/0558/bibs/1680/16800012.htm db/conf/spin/spin1999.html#GeldenhuysV99