Software architecture for redundant computing platform embedded in space vehicles - Burgareli, Luciana Akemi; Arai, Nanci Naomi; Busquim e Silva, Rovedy Aparecida; Abdala, Martha Adriana Dias; Melnikoff, Selma Shin Shimizu; Ferreira, Maurício Gonçalves Vieira (IEEE Latin American Transactions/IEEE America Latina. Revista, 2023)