Christine Rochange Pascal Sainrat A Context-Parameterized Model for Static Analysis of Execution Times. 222-241 2009 2 T. HiPEAC http://dx.doi.org/10.1007/978-3-642-00904-4_12 journals/thipeac/2009-2 db/journals/thipeac/thipeac2.html#RochangeS09