Applying Model-Driven Development to Pervasive System Engineering | IEEE Conference Publication | IEEE Xplore