Model-Driven Software Development for Pervasive Information Systems Implementation | IEEE Conference Publication | IEEE Xplore