Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures