Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation | IEEE Conference Publication | IEEE Xplore