SEARCH Articles Figures Tables 1-based approach Model approach Model-based approach Pricing models Timed models