An EFSM-based formal model for providing VCR-like functions in multimedia systems | IEEE Conference Publication | IEEE Xplore