@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} }