L. Wang, X. Han, M. Qi, K. Wang, and P. Li, “Alignment-Based Conformance Checking of Hierarchical Process Models”, Comput. Inform., vol. 43, no. 1, pp. 149–180, Apr. 2024.