Formal Methods for Components and Objects. Second International Symposium, FMCO 2003