Smart cities: System and tools used for the digital modelling of physical urban systems | IEEE Conference Publication | IEEE Xplore