Lluch-Lafuente, Alberto and Montanari, Ugo  Quantitative mu-calculus and CTL defined over constraint semirings.  Theoretical Computer Science, 346 (1).  pp. 135-160.  ISSN 0304-3975      (2005)