Dagstuhl Seminar Proceedings: Architecting Systems with Trustworthy Components 2004