Hirsch, Dan and Lluch-Lafuente, Alberto and Tuosto, Emilio  A logic for application level QoS.  Electronic Notes in Theoretical Computer Science, 153 (2).  pp. 135-159.  ISSN 1571-0661      (2006)