Functional and Performance Verification of Overlay Multicast Applications - A Product Level Approach | IEEE Conference Publication | IEEE Xplore