@techreport{esr-2005-04,
    author      = {Stefan Valentin Gheorghita and Sander Stuijk and Twan Basten and Henk Corporaal},
    title       = {Sharper {WCET} Upper Bounds using Automatically Detected Scenarios},
    institution = {Technical University of Eindhoven, Electrical Engineering Department, Electronic Systems Group},
    number      = {{ESR-2005-04}},
    address     = {Eindhoven, Netherlands},
    month       = {March},
    year        = {2005},
    issn        = {1574-9517}
}