Modelling Smart Cities Through Socio-Technical Systems | IEEE Conference Publication | IEEE Xplore