Implementing Movie Control, Access and Management { from a Formal Description to a Working Multimedia SystemPerformance Bottlenecks in Digital Movie Systems