A co-design approach for embedded system modeling and code generation with UML and MARTE