Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. - Nick van Beest; Heerko Groefsema; Adrian Cryer; Guido Governatori; Silvano Colombo Tosatto; Hannah M. S. Burke (IEEE Trans. Software Eng., 2023)