Model-Implementation Fidelity in Cyber Physical System Design