Corsetti, A., 		Ambrósio, A., & 		Mattiello-Francisco, M.
(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>, (pp. 159-160). Porto Alegre: SBC.