Dagstuhl Seminar Proceedings: Design of Systems with Predictable Behaviour 2004