Applying Tropos to Socio-Technical System Design and Runtime Configuration