Jan de Meer, Axel Rennoch, Jörg Burmeister: Formal approach to QoS specification and verification. CASCON 1993: 108-119