MÖLLER, M. O.; ALUR, R. Heuristics for Hierarchical Partitioning with Application to Model Checking. BRICS Report Series, v. 7, n. 21, 1 Aug. 2000.