Improved static data-flow model for TDM scheduler