O-minimal Λm-regular stratification

Let M be an o-minimal structure expanding a real closed field R. We show that any definable set in Rn can be stratified into cells, whose defining functions are Cm smooth Lipschitz continuous functions with constant 2n3/2, which have additional regularity conditions on the derivatives of higher order.