Weimin Liu, Huadong Ma: Modeling Video-on-Demand System in Temporal Logic. IEEE Pacific Rim Conference on Multimedia 2001: 983-988