Refinement Preserving Approximations for the Design and Verification of Heterogeneous Systems