Model-Based Development of Distributed Embedded Real-Time Systems