Allocation and Interface Synthesis Algorithms for Component-Based Design, 2000-02