Jan de Meer Axel Rennoch Jörg Burmeister Formal approach to QoS specification and verification. 108-119 1993 conf/cascon/1993 CASCON http://doi.acm.org/10.1145/962300 db/conf/cascon/cascon1993.html#MeerRB93