UPC condition in polynomially bounded o-minimal structures

We prove that UPC condition holds in o-minimal structures generated by some quasi-analytic classes of C∞ functions. We also give a sufficient and necessary condition for a bounded set A⊂R2 definable in some polynomially bounded o-minimal structure to be UPC.