Operational Model for System Dependability: The ROBOMINERS Use-Case - Aguado, E; Lambo, VG; Hernando, M; Rossi, C; Sanz, R (Journal Of Intelligent & Robotic Systems, 2025)