Aligning Event Logs and Process Models for Multi ...