Analyzing and improving multi-robot missions by using process mining | Publicación