Using Process Mining to Model Multi-UAV Missions through the Experience | IEEE Journals & Magazine | IEEE Xplore