MBT 2008 Fourth Workshop on Model-Based Testing March 30, 2008, Budapest, Hungary Satellite workshop of ETAPS 2008