@article{aguado2025operational, title={Operational Model for System Dependability: The ROBOMINERS Use-Case}, volume={112}, ISSN={1573-0409}, url={http://dx.doi.org/10.1007/s10846-025-02331-3}, DOI={10.1007/s10846-025-02331-3}, number={1}, journal={Journal of Intelligent & Robotic Systems}, publisher={Springer Science and Business Media LLC}, author={Aguado, Esther and Gomez Lambo, Virgilio and Hernando, Miguel and Rossi, Claudio and Sanz, Ricardo}, year={2025}, month=Dec }