Added the widened octagonal strategy for sufficient schedulability check.