Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems