Text this: Mixing logics and rewards for the component-oriented specification of performance measures