Agent System Mining: Vision, Benefits, and Challenges | IEEE Journals & Magazine | IEEE Xplore