Bowman, Cameron, King, Thompson, 2000. Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic, in: . Springer Netherlands.. https://doi.org/10.1007/978-94-015-9586-5_22