Andre Corsetti, Ana Ambrósio, and Maria Mattiello-Francisco. 2013.
 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>, novembro 04, 2013, Niterói/RJ, Brasil. SBC, Porto Alegre, Brasil, 159-160.