A Standards-based Approach for Cross-Domain Modelling of Smart City System Architectures | IEEE Conference Publication | IEEE Xplore