Urban growth, combined with the development of digital technology, has led to the recent boom of smart cities worldwide. Smart cities make use of all available information and communications technology in the built environment ...