Model-based analysis of distributed real-time embedded system composition