Contribuições do model checking e da metodologia CoFi para o software embarcado espacial