The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used
The model-integrated computing (MIC) is based on domain-specific models to analyze and test embedded software REF ].
Model-integrated development of embedded software
Proceedings of the IEEE
Computer Science