Towards goal-oriented design of agent systems | IEEE Conference Publication | IEEE Xplore