Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 - Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue ((Lecture Notes in Computer Science))