Towards formal semantics for QoS Support - Richter, Jan-Peter (Fachbereich Informatik der Univ. Hamburg, 1997)