INESC TEC: Instituto português recebe pela primeira vez patente de software nos EUA