Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Giachino, Elena; Hähnle, Reiner; Boer, Frank S. de; Bonsangue, Marcello M. (Springer Berlin Heidelberg : Imprint: Springer, 2013)