@techreport{Flexeder08Analysis,
  author = {Andrea Flexeder and Michael Petter and Helmut Seidl},
  title = {Analysis of executables for {WCET} concerns},
  year = 2008,
}