Activity mining for discovering software process models · Study