Model-based Methodologies for Pervasive and Embedded Software | IEEE Conference Publication | IEEE Xplore