Architecting Systems with Trustworthy Components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers - Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski ((Lecture Notes in Computer Science))