Model-based engineering of runtime reconfigurable networked embedded systems