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