Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009 | DealShopping Deutschland