Time-Estelle: an extended Estelle capable of expressing multimedia QoS parameters | IEEE Conference Publication | IEEE Xplore