Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification