Formal methods for components and objects : 11th international symposium, FMCO 2012