Agent System Mining: Vision, Benefits, and Challenges | Synapse