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

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

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

C. Narayanan, D. J. Krishnan, and . Cook, Activity recognition on streaming sensor data, Pervasive Mob. Comput, vol.10, pp.138-154, 2014.

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

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

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. 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

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

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

. 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.