Title: Optimization models for synchronization planning