J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

C. W. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli, Satisfiability modulo theories. Handbook of satisfiability, pp.825-885, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01095009

L. Belouaer and F. Maris, SMT Spatio-Temporal Planning, ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, pp.6-15, 2012.

E. Bertino, E. Ferrari, A. Perego, and D. Santi, A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations, 2005 IEEE International Conference on Multimedia and Expo, pp.578-581, 2005.
DOI : 10.1109/ICME.2005.1521489

A. Bossi and O. Gaggi, Analysis and verification of SMIL documents, Multimedia Systems, vol.17, issue.6, pp.487-506, 2011.

M. Clavel, S. Eker, F. Durán, P. Lincoln, N. Martí-oliet et al., All about Maude -A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic, 2007.

M. De-oliveira, M. Turine, and P. Masiero, A statechart-based model for hypermedia applications, ACM Transactions on Information Systems, vol.19, issue.1, p.52, 2001.
DOI : 10.1145/366836.366869

J. A. Santos, C. Braga, and D. C. Muchaluat-saade, A Model-driven Approach for the Analysis of Multimedia Document, SLE (Doctoral Symposium), pp.37-44, 2012.

J. A. Santos, C. Braga, and D. C. Muchaluat-saade, An Executable Semantics for a Multimedia Authoring Language, Formal Methods: Foundations and Applications Computer-Aided Verification (CAV'2014), pp.67-82, 2013.
DOI : 10.1007/978-3-642-41071-0_6

S. Elias, K. Easwarakumar, and R. Chbeir, Dynamic consistency checking for temporal and spatial relations in multimedia presentations, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1380-1384, 2006.
DOI : 10.1145/1141277.1141596

M. F. Felix, Formal Analysis of Software Models Oriented by Architectural Abstractions, 2004.

H. L. Hardman, Modeling and Authoring Hypermedia Documents, 1998.

D. P. Júnior, J. Farines, and C. Koliver, An Approach to Verify Live NCL Applications, Proceedings of the 18th Brazilian Symposium on Multimedia and the Web, pp.223-232, 2012.

P. King, P. Schmitz, and S. Thompson, Behavioral reactivity and real time programming in XML, Proceedings of the 2004 ACM symposium on Document engineering , DocEng '04, pp.57-66, 2004.
DOI : 10.1145/1030397.1030411

S. Laborie, J. Euzenat, and N. Laya¨?dalaya¨?da, Semantic adaptation of multimedia documents. Multimedia tools and applications, pp.379-398, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00781024

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

D. A. Randell, Z. Cui, and A. G. Cohn, A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning, pp.165-176, 1992.

C. Santos, L. Soares, G. De, J. Souza, and . Courtiat, Design methodology and formal validation of hypermedia documents, Proceedings of the sixth ACM international conference on Multimedia , MULTIMEDIA '98, pp.39-48, 1998.
DOI : 10.1145/290747.290753

L. F. Soares and S. D. Barbosa, Programming in NCL 3.0: developing applications for the Ginga middleware, Digital TV and Web, 2009.