Proteção da Propriedade Intelectual pelas Empresas na Incubadora CELTA: A Utilização de Métodos Formais e Não-formais