Bowman, et al.. Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic. Springer Netherlands, 2000, doi:10.1007/978-94-015-9586-5_22.