Design of consistent SMIL documents for distributed multimedia presentation using temporal algebra | IEEE Conference Publication | IEEE Xplore