Specification and synthesis of a multimedia synchronizer | IEEE Conference Publication | IEEE Xplore