FORMAL METHODS FOR COMPONENTS AND OBJECTS: 6TH INTERNATIONAL SYMPOSIUM, FMCO 2007, AMSTERDAM, THE NETHERLANDS, OCTOBER 24-27, 2007, REVISED PAPERS