Trentino SCA runtime for distributed embedded systems