Estrategias de Seguridad y Redundancia en Sistemas Autónomos - VeriCert Estrategias de Seguridad y Redundancia en Sistemas Autónomos - VeriCert