Telefona gönder: Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.).