Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm