Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers - Beckert, Bernhard; Damiani, Ferruccio; Boer, Frank S. de; Bonsangue, Marcello M. (Springer Berlin Heidelberg : Imprint: Springer, 2013)