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>Proceedings of the 3rd Brazilian Symposium on Computing Systems Engineering</em>, (pp. 159-160). Porto Alegre: SBC.