From: Improving efficiency for discovering business processes containing invisible tasks in non-free choice