PROOFSalbertFeb 23, 2021 LogicFunding: PID2019-109137GB-C22 Ministerio de Ciencia e Innovación.IP: Albert Atserias (UPC) & Victor Dalmou (UPF)RelatedIndustrial Doctorate Program (Sofía Santiago)PrometheussAUTARIndustrial Doctorate Program (Alfonso Alfaro)Industrial Doctorate Program (Ana Borges)