MBT 2007 Third Workshop on Model-Based Testing March 31 - April 1, 2007, Braga, Portugal Satellite workshop of ETAPS 2007