Specification of synchronization in multimedia conferencing services using the TINA life-cycle model | IEEE Conference Publication | IEEE Xplore