An MILP-Based Performance Analysis Technique for Non-Preemptive Multitasking MPSoC