Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers - Boer, Frank S. (Lecture Notes in Computer Science,, 2010)