Ralf Wimmer Salem Derisavi Holger Hermanns Symbolic Partition Refinement with Dynamic Balancing of Time and Space. 65-74 2008 QEST http://dx.doi.org/10.1109/QEST.2008.14 conf/qest/2008 db/conf/qest/qest2008.html#WimmerDH08