Synchronization for interactive multimedia presentations

When multimedia presentations allow users to make online adjustments such as reverse, skip, freeze-restart, and scale, maintaining temporal synchrony among several media streams becomes a complex modeling problem. Our approach uses dynamic extended finite-state machines for the task-an "actor" DEFSM for each medium and a "synchronizer" DEFSM to orchestrate them. This model achieves clear state-transition control flow and allows concise, precise specifications.