Adrian Prantl Jens Knoop Markus Schordan Markus Triska Constraint solving for high-level WCET analysis http://arxiv.org/abs/0903.2251 2009 CoRR abs/0903.2251 db/journals/corr/corr0903.html#abs-0903-2251 informal publication