L. . Burgareli, N. Arai, R. . Busquim, M. Abdla, S. . Melnikoff, and M. Ferreira, “Software Architecture for Redundant Computing Platform Embedded in Space Vehicles”, IEEE LAT AM T, vol. 21, no. 7, pp. 775–782, Jul. 2023.