Ferrari, GianLuigi and Lluch-Lafuente, Alberto  A Logic for Graphs with QoS.  Electronic Notes in Theoretical Computer Science, 142.  pp. 143-160.  ISSN 1571-0661      (2006)