Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers - Aichernig, Bernhard K.; Boer, Frank S. de; Bonsangue, Marcello M. (Springer Berlin Heidelberg : Imprint: Springer, 2012)