Analysis and Synthesis of Distributed Real-Time