Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures - Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Roever, Willem-Paul de (Springer Berlin Heidelberg : Imprint: Springer, 2008)