Multi-core Model-Based Environment