In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop several models of varying fidelity. Models of different fidelity levels can enable mathematical analysis of the model, control synthesis, faster simulation etc. F
urthermore, when (automatically or manually) transitioning from a model to its implementation on an actual computational platform, then again two differe
