A Multi-threaded Execution Model for the Agent-based SEMSim Traffic Simulation - H. Aydt; Y. Xu; M. Lees; A. Knoll (AsiaSim 2013, 2013)