You are about to access our book library "Formal Methods for Components and Objects: 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, full version" .