Paños García, F. 2022. Sistemas críticos para la seguridad (Safety-Critical Systems): Parte I. Puente de Hierro. 2, 2 (nov. 2022).