Contribuições do model checking e da metodologia CoFi para o software embarcado espacial. - Rodrigo Pastl Pontes (2011)