High-Variability Design for Software Agents: Extending Tropos