CHANNELS: a run-time system for multimedia protocols | IEEE Conference Publication | IEEE Xplore