A-TVDBR: Um Modelo de Atividades para TV Digital Brasileira. - Mozart de Melo Alves Júnior; Arturo Hernández-Domínguez (Revista Brasileira de Informática na Educ., 2011)

Casos de Garantia de Segurança aplicados a Sistemas Robóticos: Revisão Sistemática da Literatura. - Mozart de Melo Alves Júnior; Maria Lencastre 001; Lucas Florêncio de Brito; Jaelson Castro; Moniky Ribeiro (WER, 2021)

Requirements Engineering for Embedded Systems: A Systematic Literature Review. - Tarcísio Pereira; Quelita A. D. S. Ribeiro; Mozart de Melo Alves Júnior; Sthefanie Magro; Fernanda M. R. Alencar; Jaelson Castro (WER, 2021)

SAFE-Robot: Uma Abordagem para Sistematizar a Elaboração de Casos de Garantia de Segurança que Auxilie na Certificação de Sistemas Robóticos. - Mozart de Melo Alves Júnior; Maria Lencastre 001; Jaelson Castro (WER, 2022)

appSCE: uma Ferramenta para Classificação da qualidade de evidências usadas em Casos de Garantia de Segurança. - Mozart de Melo Alves Júnior; Sandeison Fernandes; Jaelson Castro; Alvaro Oliveira; Aldo Nunes (WER, 2025)