Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz | DealShopping Deutschland