Möller, M. O., & Alur, R. (2000). Heuristics for Hierarchical Partitioning with Application to Model Checking. BRICS Report Series, 7(21). https://doi.org/10.7146/brics.v7i21.20148