De Rham theorem for Whitney functions

Let M be a real analytic manifold, F a bounded complex of constructible sheaves. We show that the Whitney–de Rham complex associated to F is quasi-isomorphic to F.