Formal methods for components and objects. 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21--23, 2008. Revised lectures
scientific article; zbMATH DE number 5597019