G. Berry, Mechanized reasoning and hardware design. chapter Esterel on Hardware, pp.87-104, 1992.

E. Technologies, Scade suite. http://www.ansys.com/products/embedded- software/ansys-scade-suite

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1080, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

G. Berry, The Foundations of Esterel, Proof, Language, and Interaction, Essays in Honor of Robin Milner, 2000.

G. Berry, The Constructive Semantics of Pure Esterel. Draft Book, available at: http://www.esterel-technologies, 1996.

M. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, vol.3, issue.3, pp.265-316, 1988.
DOI : 10.1007/BF00485052

D. Gaffé and A. Ressouche, Algebraic Framework for Synchronous Language Semantics, 2013 International Symposium on Theoretical Aspects of Software Engineering, pp.51-58, 2013.
DOI : 10.1109/TASE.2013.15

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285

I. Sarray, A. Ressouche, S. Moisan, J. Rigault, and D. Gaffé, Synchronous Automata For Activity Recognition, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01505754

A. Ressouche and D. Gaffé, Compilation modulaire d'un langage synchrone. Revue des sciences et technologies de l'information, série Théorie et, Science Informatique, vol.4, issue.30, pp.441-471, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00524499

T. Gazagnaire, B. Genest, L. Hélouët, P. S. Thiagarajan, S. Yang et al., Causal Message Sequence Charts, pp.166-180, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00173529

R. Alur and M. Yannakakis, Model Checking of Message Sequence Charts, pp.114-129, 1999.
DOI : 10.1007/3-540-48320-9_10

L. Li, H. Gao, and T. Shan, An executable model and testing for Web software based on live sequence charts, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS), pp.1-6, 2016.
DOI : 10.1109/ICIS.2016.7550803

H. Dan, R. M. Hierons, and S. Counsell, A framework for pathologies of message sequence charts, Information and Software Technology, vol.54, issue.11, pp.1283-1295, 2012.
DOI : 10.1016/j.infsof.2012.06.010

R. Kumar, E. G. Mercer, and A. Bunker, Improving Translation of Live Sequence Charts to Temporal Logic, Electronic Notes in Theoretical Computer Science, vol.250, issue.1, pp.137-152, 2009.
DOI : 10.1016/j.entcs.2009.08.010

G. Lavee, E. Rivlin, and M. Rudzsky, Understanding Video Events: A Survey of Methods for Automatic Interpretation of Semantic Occurrences in Video, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.39, issue.5, pp.489-504, 2009.
DOI : 10.1109/TSMCC.2009.2023380

. Van-thinh, F. Vu, M. Bremond, and . Thonnat, Automatic video interpretation: A novel algorithm for temporal scenario recognition, Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI'03, pp.1295-1300, 2003.

G. Okeyo, L. Chen, and H. Wang, Combining ontological and temporal formalisms for composite activity modelling and recognition in smart homes, Special Issue on Ubiquitous Computing and Future Communication Systems, pp.29-43, 2014.
DOI : 10.1016/j.future.2014.02.014