Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis