On the unification power of models, Software & Systems Modeling, vol.4, issue.2, pp.171-188, 2005. ,
Combining the Power of MathWorks Simulink and Telelogic UML/SysML-based Rhapsody to Redefine MDD, 2007. ,
UPSL-SE: A model verification framework for Systems Engineering, Computers in Industry, vol.64, issue.5, pp.581-597, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00804265
An eXecutable metamodelling facility for domain specific language design. The 4 th OOPSLA Workshop on Domain-Specific Modeling, 2004. ,
Superlanguages: developing languages and applications with XMF, Ceteva, 2008. ,
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification, Journal of Software, issue.6, p.4, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00371553
Real time UML, the 7th International Symposium FTRTFT, 2002. ,
Blackboard systems, 1988. ,
Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, issue.3, pp.231-274, 1987. ,
IEC 60848, Specification language GRAFCET for sequential function charts, 1998. ,
A language description is more than a metamodel, 2007. ,
Switching and Finite Automata Theory, Computer Science Series, 1978. ,
Two complementary patterns to build multi-expert systems. Pattern Languages of Programs, 1997. ,
Formal Representation and Proof of the Interpreted Sequential Machine Model. EUROCAST'97, 1997. ,
UPPAAL in a nutshell, International Journal on Software Tools for Technology Transfer (STTT), vol.1, issue.1, pp.134-152, 1997. ,
Overview of the ptolemy project, 1999. ,
xMOF: Executable DSMLs based on fUML, Software Language Engineering, pp.56-75, 2013. ,
A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics, the proceedings of CSD&M, pp.225-238, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01237138
An action semantics for MOF 2.0, Proceedings of the 2006 ACM symposium on Applied computing, pp.1304-1305, 2006. ,
Linear temporal logic symbolic model checking, Computer Science Review, vol.5, issue.2, pp.163-203, 2011. ,
Using grammarware languages to define operational semantics of modelled languages, Objects, Components, Models and Patterns, pp.348-356, 2009. ,
,
Model checking UML state machines and collaborations, Electronic Notes in Theoretical Computer Science, vol.55, issue.3, pp.357-369, 2001. ,
Human comprehensible and machine processable specifications of operational semantics, ECMDAFA 07, pp.157-171, 2007. ,
EMF: eclipse modeling framework, 2008. ,
The temporal boolean derivative applied to verification of extended finite state machine, Computer and Mathematics with application, vol.30, 1995. ,