Hardware-in-the-loop based WCET analysis with KLEE. - Marcus Lindner; Jorge Aparicio Rivera; Henrik Tjader; Per Lindgren; Johan Eriksson (ETFA, 2018)