Simulation modeling of the smart city system: The concept, methods, and cases | Synapse