Procesos de busqueda formal para objetos industriales