Worst-case Scheduling of Software Tasks – A Constraint Optimization Model to Support Performance Testing