1st International Symposium on Formal Models for Components and Objects