Development strategies for the satellite flight software on-board Meteosat Third Generation