Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey - Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine ((Lecture Notes in Computer Science))