0 Penserini, L. Perini, A. Susi, A. Mylopoulos, J. 2007 High variability design for software agents: Extending Tropos ACM Transactions on Autonomous and Adaptive Systems (TAAS) 2