Corsetti, A., 		Ambrósio, A., & 		Mattiello-Francisco, M.
2013 nov  4.  Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :