Verificación de las Propiedades Regulares Temporales de Abstracciones de Sistemas de Reescritura de Términos