A context model development process for smart city operations | IEEE Conference Publication | IEEE Xplore