Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006 | DealShopping Deutschland