Smart learning environment for the development of Smart City applications | IEEE Conference Publication | IEEE Xplore