Methodologies of Support to the Execution of Risk Management. - Luís Nascimento; André Vasconcelos 001; Pedro Manuel Antunes Sousa; José Alegria; Alberto Mendes (OTM Workshops, 2010)

Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Ran Wei; Richard Hawkins; Tim Kelly (AINA (1), 2023)

From Fault Tree Analysis to Runtime Model-Based Assurance Cases. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Ran Wei; Richard Hawkins; Tim Kelly (AINA (2), 2024)

Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Edelberto Franco Silva; Ran Wei; Richard Hawkins; Tim Kelly (AINA (8), 2025)