Timing analysis of scenario‐based specifications using linear programming