Fourth international workshop on model-based methodologies for pervasive and embedded software proceedings : 31 March, 2007, Braga, Portugal / edited by Joao M. Fernandes ... [et al.]. - Fernandes, Joao M. (IEEE Computer Society, 2007)