related documents Relating average and discounted costs for quantitative analysis of timed systems Conference Proceeding
