A. , Digital terrestrial television-Data coding and transmission specification for digital broadcasting-Part 2: Ginga-NCL for fixed and mobile receivers-XML application language for application coding, ABNT NBR 15606, 2011.

J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, pp.832-843, 1983.

F. Glauco, J. A. Amorim, D. C. Santos, and . Muchaluat-saade, XTemplate 4.0: Providing adaptive layouts and nested templates for hypermedia documents, Proceedings of the 22nd International Conference on Multimedia Modeling, pp.642-653, 2016.

F. Barreto, D. Tamaki, J. A. Santos, and D. C. Muchaluat-saade, NCL-tester: Graphic application for NCL documents temporal test creation, Proceedings of the 22th Brazilian Symposium on Multimedia and the Web (WebMedia'16), pp.91-94, 2016.

, ACM Trans. Multimedia Comput. Commun. Appl, vol.14, issue.4, 2018.

L. Belouaer and F. Maris, SMT spatio-temporal planning, Proceedings of the 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, Proceedings of the IEEE International Conference on Multimedia and Expo, pp.578-581, 2005.

G. Blakowski and R. Steinmetz, A media synchronization survey: Reference model, specification and case studies, Journal on Selected Areas in Communications, vol.14, issue.1, pp.5-35, 1996.
DOI : 10.1109/49.481691

S. Bouyakoub and A. Belkhir, H-SMIL-net: A hierarchical petri net model for SMIL documents, Proceedings of the Tenth International Conference on Computer Modeling and Simulation (UKSIM'08), pp.106-111, 2008.
DOI : 10.1109/uksim.2008.54

S. Bouyakoub and A. Belkhir, SMIL builder: An incremental authoring tool for SMIL documents, Communications, and Applications (TOMCCAP), vol.7, p.30, 2011.

J. Brooke, SUS-A quick and dirty usability scale, Usability Evaluation in Industry, vol.189, pp.4-7, 1996.

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, vol.4350, 2007.
DOI : 10.1016/s0304-3975(01)00359-0
URL : https://doi.org/10.1016/s0304-3975(01)00359-0

L. De-moura and N. Bjørner, Satisfiability modulo theories: Introduction and applications, Communications of the ACM, vol.54, pp.69-77, 2011.

A. F. Joel and . Santos, Multimedia Document Validation Along Its Life Cycle, 2016.

A. F. Joel, C. Santos, and D. Braga, A model-driven approach for the analysis of multimedia document, SLE (Doctoral Symposium, pp.37-44, 2012.

A. F. Joel, C. Santos, and D. Braga, An executable semantics for a multimedia authoring language, Formal Methods: Foundations and Applications, vol.8195, pp.67-82, 2013.

A. F. Joel, C. Santos, D. C. Braga, and . Muchaluat-saade, A rewriting logic semantics for NCL, Science of Computer Programming, pp.64-92, 2015.

A. F. Joel, C. Santos, . Braga, C. Débora, C. Muchaluat-saade et al., Spatiotemporal validation of multimedia documents, Proceedings of the 2015 ACM Symposium on Document Engineering, pp.133-142, 2015.

A. F. Joel, J. V. Santos, R. R. Silva, W. Vasconcelos, C. Schau et al., MuchaluatSaade. 2012. aNa: API for NCL authoring, Proceedings of the 18th Brazilian Symposium on Multimedia and the WebWorkshop of Tools and Applications

B. Dutertre, Yices 2.2, Computer-Aided Verification (CAV'2014), vol.8559, pp.737-744, 2014.

S. Elias, K. S. Easwarakumar, and R. Chbeir, Dynamic consistency checking for temporal and spatial relations in multimedia presentations, Proceedings of the 2006 ACM Symposium on Applied Computing, pp.1380-1384, 2006.

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

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

R. G. Thomas, M. Green, and . Petre, Usability analysis of visual programming environments: A 'cognitive dimensions' framework, Journal of Visual Languages & Computing, vol.7, pp.131-174, 1996.

. Hazel-lynda-hardman, Modeling and Authoring Hypermedia Documents, 1998.

R. Ierusalimschy, Roberto Ierusalimschy, 2006.

, Nested Context Language (NCL) and Ginga-NCL for IPTV services, 2009.

M. Jourdan, N. Layaida, C. Roisin, L. Sabry-ismail, and L. Tardif, Madeus, an authoring environment for interactive multimedia documents, Proceedings of the 6th ACM International Conference on Multimedia, pp.267-272, 1998.

J. Delcino-picinin-júnior, C. Farines, and . Koliver, An approach to verify live NCL applications, Proceedings of the 18th Brazilian Symposium on Multimedia and the Web, pp.223-232, 2012.

T. Ioannis-kostalas, M. Sellis, and . Vazirgiannis, Spatiotemporal specification & verification of multimedia scenarios, vol.11, pp.169-188, 1999.

J. Sébastien-laborie, N. Euzenat, and . Layaïda, Semantic adaptation of multimedia documents, Multimedia Tools and Applications, vol.55, pp.379-398, 2011.

, Publication date, ACM Trans. Multimedia Comput. Commun. Appl, vol.14, issue.4, 2018.

G. Augusto, F. Lima, and L. Soares, Two normal forms for link-connector pairs in NCL 3.0, Proceedings of the 19th Brazilian Symposium on Multimedia and the Web, pp.201-204, 2013.

H. Ma and K. G. Shin, Checking consistency in multimedia synchronization constraints, IEEE Transactions on Multimedia, vol.6, pp.565-574, 2004.

J. Meseguer, Twenty years of rewriting logic, The Journal of Logic and Algebraic Programming, vol.81, pp.721-781, 2012.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

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.

L. F. Soares and R. F. Rodrigues, Nested Context Model 3.0 Part 1-NCM Core, 2005.

L. Fernando, G. Soares, R. Ferreira-rodrigues, R. Cerqueira, and S. Barbosa, Variable and state handling in NCL, Multimedia Tools and Applications, vol.50, pp.465-489, 2010.

W. , Synchronized Multimedia Integration Language-SMIL 3.0 Specification. World-Wide Web Consortium Working Recommendation, 2008.

W. , Scalable Vector Graphics (SVG) 1.1. World-Wide Web Consortium Working Recommendation, 2011.

W. , HTML5: A vocabulary and associated APIs for HTML and XHTML. World-Wide Web Consortium Candidate Recommendation, 2014.

W. , Web Animations 1.0. World-Wide Web Consortium Working Draft, 2014.