Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures - Boer, Frank S. de; Bonsangue, Marcello M.; Madelaine, Eric (Springer Berlin Heidelberg : Imprint: Springer, 2009)