@Article{Kirner:RTS2010,
  author =	 {Raimund Kirner and Peter Puschner and Adrian Prantl},
  title =	 {Transforming Flow Information during Code
                  Optimization for Timing Analysis},
  journal =	 {Real-Time Systems},
  volume =	 {45},
  number =       {1--2},
  pages =	 {72--105},
  month =        {June},
  year =	 {2010},
  publisher =	 {Springer},
  doi =		 {http://dx.doi.org/10.1007/s11241-010-9091-8},
  URL =		 {http://costa.tuwien.ac.at/papers/rts10.pdf}
}