PAÑOS GARCÍA, F. . Sistemas críticos para la seguridad (Safety-Critical Systems): Parte I. Puente de Hierro, [S. l.], v. 2, n. 2, 2022. Disponível em: https://www.puentedehierro.org/ojs/index.php/pdh/article/view/37. Acesso em: 29 may. 2023.