Static Analysis of Real-Time Component-based Systems Configurations