8th International Symposium on Formal Methods for Components and Objects Conference