Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT | IEEE Conference Publication | IEEE Xplore