Advanced Tools and Model-Based Analysis for Digital and Software-Defined Systems in Safety-Critical Applications. - Samuel García Lorente; Daniel Villafañe Delgado; Pablo López Negro (ICSRS, 2024)