International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (4th 2007 Braga, Portugal)