Christiano Braga Fabricio Chalub Alexandre Sztajnberg A Formal Semantics for a Quality of Service Contract Language. 103-120 2007 conf/fesca/2007 FESCA@ETAPS https://doi.org/10.1016/j.entcs.2009.03.029 db/conf/fesca/fesca2007.html#BragaCS09