Refinement of UML/MARTE models for the design of networked embedded systems