An Approach for Verification of a Satellite Simulator - An Evolving System. - Paulo Diego Barbosa Da Silva; Ana Maria Ambrosio; Emília Villani; Denise Rotondi Azevedo (LADC, 2016)