Safety 4.0: Model-Based Approach Toward Perpetual Flight with an Autonomous, Solar-Powered Aircraft. - Samuel García Lorente; Daniel Ampudia Alonso; Travis K. Vetter (ICSRS, 2023)

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)