Probabilistic-WCET reliability: on the experimental validation of EVT hypotheses