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