@inproceedings{MR07, 
    title = { On the Complexity of Modeling Dynamic Branch Predictors when Computing Worst-Case Execution Time  }, 
    author = {Maiza-Burgui\`ere, Claire and Rochange, Christine},
    month = {august},
    year = {2007},
    booktitle = {Proceedings of the {ERCIM}/{DECOS} Workshop On Dependable Embedded Systems},
    team = {IRIT-TRACES},
}