Rocco De Nicola Gian Luigi Ferrari Ugo Montanari Rosario Pugliese Emilio Tuosto A Formal Basis for Reasoning on Programmable QoS. 436-479 http://dx.doi.org/10.1007/978-3-540-39910-0_21 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#NicolaFMPT03