Model-implementation fidelity in cyber physical system design. (©2017)