Synchronous data flow, Proc. of the IEEE, pp.1235-1245, 1987. ,
DOI : 10.1109/PROC.1987.13876
Communicating and mobile systems: the pi calculus, 1999. ,
Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011. ,
DOI : 10.1145/1985793.1985858
Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
ModHel???X: A Component-Oriented Approach to Multi-Formalism Modeling, Models in Software Engineering, pp.247-258, 2008. ,
DOI : 10.1007/978-3-540-69073-3_26
URL : https://hal.archives-ouvertes.fr/hal-00554780
System modeling and transformational design refinement in ForSyDe [formal system design] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.23, issue.1, pp.17-32, 2004. ,
Backus-naur form (bnf), " in Encyclopedia of Computer Science, pp.129-131, 2003. ,
The clock constraint specification language for building timed causality models -application to synchronous data flow graphs, ISSE, vol.6, issue.12, pp.99-106, 2010. ,
Model based engineering for the support of models of computation: The cometa approach, MPM, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00635594
ECL: the Event Constraint Language, an Extension of OCL with Events, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00721169
A structural approach to operational semantics, Journal of Logic and Algebraic Programming, 1981. ,
Operational Semantics of the Model of Concurrency and Communication Language ,
URL : https://hal.archives-ouvertes.fr/hal-01060601