Describir: Implementación de herramientas computacionales para la especificación de los subsistemas y estimación de costos para un satélite de telecomunicaciones