M. O. Möller and R. Alur, “Heuristics for Hierarchical Partitioning with Application to Model Checking”, BRICS, vol. 7, no. 21, Aug. 2000.