A heuristic for Problem Formalization in Agent Based Simulation studies | IEEE Conference Publication | IEEE Xplore