Model composition for scheduling analysis in platform design