A Practical Approach to Quality Assurance in Critical Systems. - Carlos A. T. Moura; Carlos Henrique Netto Lahoz; Martha A. D. Abdala (LADC, 2003)

Um Estudo sobre a Atividade de Elicitação de Requisitos em Projetos de Software da Área Espacial. - Carlos Henrique Netto Lahoz; João Batista Camargo Jr. (WER, 2006)

ELICERE: a process for defining dependability goals for critical computer system: case study apply to space area (ELICERE: o processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial). - Carlos Henrique Netto Lahoz (2009)

Identificação de Requisitos de Segurança para Experimentos Científicos Embarcados. - Heuller Aloys Carneiro Procópio; Luiz Eduardo Galvão Martins; Carlos Henrique Netto Lahoz (WER, 2020)

CAST Applied to Covid-19 Pandemic in Brazil. - Evandro R. Bortoloto; Talitha C. De Oliveira; Carlos Henrique Netto Lahoz; Fernando Teixeira Mendes Abrahão (LADC, 2021)

Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach. - Antonio Vinicius Diniz Merladet; Rodrigo De Melo Silveira; Sergio Fugivara; Carlos Henrique Netto Lahoz (LADC, 2021)

System-Theoretic Process Analysis Applied for Verification Processes During Launch Operations. - Antonio Vinicius Diniz Merladet; Carlos Henrique Netto Lahoz; Chiara Manfletti; Diogo Silva Castilho; Rodrigo De Melo Silveira (ICSRS, 2023)