Model-Integrated Computing (MIC) is an approach for model-based design of embedded software and systems. MIC places strong emphasis on the use of domain-specific modeling languages (DSMLs) and model transformation techniques ...