WCET nested-loop minimization in terms of instruction-level-parallelism | IEEE Conference Publication | IEEE Xplore