Enviar por SMS: Using task knowledge to guide interactor specifications analysis