mixed time analysis and holistic scheduling 4000951