MBD 2005, 3rd IEEE Workshop on Model-Based Development of Computer-Based Systems