Architectural Verification of Black-Box Component-Based Systems