Jan-Peter Richter Hermann de Meer Towards Formal Semantics for QoS Support. 472-479 1998 INFOCOM db/conf/infocom/infocom1998-2.html#RichterM98