Mixing logics and rewards for the component-oriented specification of performance measures - Aldini, Alessandro; Bernardo, Marco (Theoretical Computer Science, 2007)