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