How to Make the Undefined Tangible: Development of a Typology for Smart City Replication | IEEE Conference Publication | IEEE Xplore