Software Engineering for Pervasive Systems. Applying Models, Frameworks and Transformations. | AMiner