Spécification et validation de systèmes en XESAR — Carlos Rodriguez