A methodology to model integrated smart city system from the information perspective