Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4--6, 2009. Revised selected papers
scientific article; zbMATH DE number 5816274