Enviar por SMS: Aspect-oriented specification: a case study in space domain