publicações selecionadas Desenvolvimento e simulação da lógica embarcada para manobras de rendezvous e docking da plataforma orbital recuperável SARA