Quantitative (cid:1) -calculus and CTL defined over constraint semirings (cid:1)