A Software Model Reuse Strategy for Brazilian Satellite Launcher. - Luciana Akemi Burgareli; Selma S. S. Melnikoff; Maurício G. V. Ferreira (Australian Software Engineering Conference, 2008)

A Variation Mechanism Based on Adaptive Object Model for Software Product Line of Brazilian Satellite Launcher. - Luciana Akemi Burgareli; Selma Shin Shimizu Melnikoff; Maurício G. Vieira Ferreira (ECBS-EERC, 2009)

Formal Verification With Frama-C: A Case Study in the Space Software Domain. - Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; José Maria Parente de Oliveira; Jorge Sousa Pinto (IEEE Trans. Reliab., 2016)