Language design for developing smart adaptive services | IEEE Conference Publication | IEEE Xplore