Validation of Complexity Metrics of Agent-Based Systems Using Weyuker's Axioms | IEEE Conference Publication | IEEE Xplore