Architectural Verification of Black-box Component-Based Systems