Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models