Towards System-Wide Analysis of Heterogeneous Component-Based Software Systems