A method for agent-based system requirements analysis | IEEE Conference Publication | IEEE Xplore