Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing 2004