Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models