Static Analysis of Real-Time Component-based System Configurations