Proceedings of the 1st Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2004)