Corsetti, Andre, 		Ambrósio, Ana, E 		Mattiello-Francisco, Maria.
" Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (4 novembro 2013)