Automated Derivation of Complex Agent Architectures from Analysis Specifications