De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio  A Formal Basis for Reasoning on Programmable QoS.   In:  Verification: Theory and Practice.   Lecture Notes in Computer Science, 2772 .  Springer, pp. 185-187.  ISBN 3-540-21002-4      (2004)