A. Corsetti, A. Ambrósio, and M. Mattiello-Francisco.
" Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies", in <em>Anais do III Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Niterói/RJ, 2013, pp. 159-160.