K. Altisen, F. Maraninchi, and D. Stauch, Exploring aspects in the context of reactive systems, Workshop on the Foundations of Aspect-Oriented Languages (FOAL), 2004.

J. H. Andrews, Process-Algebraic Foundations of Aspect-Oriented Programming, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.187-209, 2001.
DOI : 10.1007/3-540-45429-2_14

A. Benveniste and G. Berry, Another look at real-time programming, Special Section of the, Proceedings of the IEEE, vol.79, issue.9

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

]. T. Colcombet and P. Fradet, Enforcing trace properties by program transformation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.54-66, 2000.
DOI : 10.1145/325694.325703

URL : https://hal.archives-ouvertes.fr/inria-00000937

R. Douence, P. Fradet, and M. Südholt, Trace-based aspects, Aspect-Oriented Software Development, pp.201-217, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000947

R. Douence, T. Fritz, N. Loriant, J. Menaud, M. Ségura-devillechaise et al., An expressive aspect language for system applications with Arachne, Proceedings of the 4th International Conference on Aspect- Oriented Software Development (AOSD), pp.27-38, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00442180

M. Felleisen, On the expressive power of programming languages, ESOP'90 3rd European Symposium on Programming, pp.134-151, 1990.

J. J. Fey and J. H. Van-schuppen, VHS case study 4 -modeling and control of a juice processing plant, 1999.

R. E. Filman and D. P. Friedman, Aspect-oriented programming is quantification and obliviousness, Aspect-Oriented Software Development, pp.21-35, 2005.

W. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari et al., Modular software design with crosscutting interfaces, Issue on Aspect-Oriented Programming, 2006.
DOI : 10.1109/MS.2006.24

N. Halbwachs, Synchronous programming of reactive systems, 1993.

N. Halbwachs, F. Lagnier, and C. , Programming and verifying critical systems by means of the synchronous data-flow programming language lustre Special Issue on the Specification and Analysis of Real-Time Systems, IEEE Transactions on Software Engineering

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

S. Katz, A superimposition control construct for distributed systems, ACM Transactions on Programming Languages and Systems, vol.15, issue.2, pp.337-356, 1993.
DOI : 10.1145/169701.169682

S. Katz, Diagnosis of harmful aspects using regression verification, in: Workshop on Foundations of Aspect-Oriented Languages, 2004.

G. Kiczales and M. Mezini, Aspect-oriented programming and modular reasoning, ICSE '05: Proceedings of the 27th international conference on software engineering, pp.49-58, 2005.

K. Klose and K. Ostermann, Back to the future: Pointcuts as predicates over traces, Workshop on the Foundations of Aspect-Oriented Languages (FOAL), 2005.

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

J. Ligatti, L. Bauer, and D. Walker, Edit automata: enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.3, issue.1-2
DOI : 10.1007/s10207-004-0046-8

M. Mahoney, A. Bader, T. Elrad, and O. Aldawud, Using aspects to abstract and modularize statecharts, in: 5th Aspect-Oriented Modeling Workshop, 2004.

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9

URL : https://hal.archives-ouvertes.fr/hal-00273055

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382

H. Sipma, A formal model for cross-cutting modular transition systems, Workshop on Foundations of Aspect-Oriented Languages, 2003.

R. J. Walker and K. Viggers, Implementing protocols via declarative event patterns, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pp.159-169, 2004.

M. Wand, G. Kiczales, and C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems, vol.26, issue.5, pp.890-910, 2004.
DOI : 10.1145/1018203.1018208