Automated modeling and analysis of agent-based simulations using the CASE framework | IEEE Conference Publication | IEEE Xplore