MBT 2006 Second Workshop on Model Based Testing March 25-26, 2006 Vienna, Austria Satellite workshop of ETAPS 2006