A. Pery, M. Rafiei, M. Simon, and W. van der Aalst. ICPM Workshops, volume 433 of Lecture Notes in Business Information Processing, page 395-407. Springer, (2021)
S. Weiner, M. Hasson, O. Kupferman, E. Pery, and Z. Shevach. Automated Technology for Verification and Analysis, volume 8172 of Lecture Notes in Computer Science, Springer International Publishing, (2013)