Smart city use case collection and analysis — City information modellingPart 1: High-level analysisAS IEC SRD 632...