Paños García, F. . Sistemas críticos Para La Seguridad (Safety-Critical Systems): Parte I. PTH 2022, 2.