Synchronization mechanisms for multimedia streams and their specification in timed LOTOS | IEEE Conference Publication | IEEE Xplore