Model-implementation fidelity in cyber physical system design - Molnos, Anca; Fabre, Christia (Springer, 2017)