Analysis And Synthesis Of Distributed Real-Time Embedded Systems