Niklas Holsti of Tidorum Ltd presented a paper at the WCET Workshop 2007 on "Analysing Switch-Case Tables by Partial Evaluation", a new method for analysing control-flow that is being implemented in Bound-T for some target processors.
The presentation slides are now available in PDF or in OpenOffice.org source form, in addition to the abstract and the full paper (pdf).