Analyzing and improving multi-robot missions by using process mining. Issue 6 (August 2018)