De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke  Towards a logic for performance and mobility.  Electronic Notes in Theoretical Computer Science, 153 (2).  pp. 161-175.  ISSN 1571-0661      (2006)