Wang, L.; Han, X.; Qi, M.; Wang, K.; Li, P. Alignment-Based Conformance Checking of Hierarchical Process Models. Comput. Inform. 2024, 43, 149–180.