Formal Modelling of Fault Tolerant Robotic Missions. - Manon Lecart; Elena Troubitsyna (ICFEM, 2025)