Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures - Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Roever, Willem-Paul de (Springer Berlin Heidelberg, 2006)