Poizat, et al.. Checking Business Process Evolution. Springer International Publishing, 2017, doi:10.1007/978-3-319-57666-4_4.