Explorando la forma: procesos de búsqueda formal para objetos industriales