SEARCH Articles Figures Tables Execution Execution time Performance modeling Performance models Timed models