Möller, M. O.; Alur, R. Heuristics for Hierarchical Partitioning With Application to Model Checking. BRICS 2000, 7.