A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems