Hardware-in-the-loop based WCET analysis with KLEE | IEEE Conference Publication | IEEE Xplore