Operational Model for System Dependability: The ROBOMINERS Use-Case | Publicación