Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT