Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD/MOMPES 2006) 30 March 2006/Potsdam, Germany (IEEE Computer Society Press)