Publications de Xavier CRÉGUT
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.
Dans : Journal of Software (JSW), Academy Publisher, Finland, Vol. 4 N. 6, p. 943-958, novembre 2009.
Résumé Accès : http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958
BibTeXAngel Garcia, Benoit Combemale, Xavier Crégut, Jérôme Vandeur
TopPROCESS : vers une ingénierie des procédés dirigée par les modèles
Dans : Revue de l’Electricité et de l’Electronique (REE), Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), Paris, Vol. 2009, N. 2, p. 31-37, février 2009.
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
A Property-Driven Approach to Formal Verification of Process Models
Dans : Enterprise Information Systems, Taylor & Francis Online, Numéro spécial LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, p. 286-300, 2009.
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo’07 : premier atelier sur la Sémantique des Modèles
Dans : L’Objet, Hermès Science, Numéro spécial Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, p. 137-144, janvier 2008.
Mahmoud Nassar, Jérémie Guiochet, Bernard Coulette, Xavier Crégut, Sophie Ebersold
Vers un profil UML pour la conception de composants multivues
Dans : L’Objet, Hermès Science, Vol. 11, N. 4, p. 83-113, décembre 2005.
Accès : http://www.irit.fr/publis/MACAO/Nassar-etal-LObjet2005.pdf
BibTeXThu Tran Dan, Hanh Nhi Tran, Thuy Dong Thi Bich, Bernard Coulette, Xavier Crégut
Topological properties for characterizing well-formedness of process components
Dans : Software Process: Improvement and Practice, Wiley Interscience, Vol. 10 N. 2, p. 217-247, mai 2005.
Résumé Accès : http://www3.interscience.wiley.com/cgi-bin/jhome/15482
BibTeXXavier Crégut, Bernard Coulette
Réalisation en Eiffel d’un atelier de génie logiciel centré procédé
Dans : L’objet — logiciel, bases de données, réseaux, Vol. 5, N. 3-4, p. 391-415, décembre 1999.
Xavier Crégut, Bernard Coulette
PBOOL : an Object-Oriented Language for Definition and Reuse of Enactable Processes
Dans : Software Concepts & Tools, Vol. 18 N. 2, juin 1997.
Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results
13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30–39
Florent Latombe, Xavier Crégut, Marc Pantel
Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency
2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18
Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Florent Latombe, Xavier Crégut, Benoit Combemale, Julien Deantoni, Marc Pantel
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
1st International Workshop on Executable Modeling (EXE’15), co-located with MODELS’15, 2015, Ottawa, Canada
Ning Ge, Marc Pantel, Xavier Crégut
Automated Failure Analysis in Model Checking based on Data Mining
4th International Conference On Model and Data Engineering, Sep 2014, Larnaca, Cyprus. pp.13-28, ⟨10.1007/978-3-319-11587-0_4⟩
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification (Journées FAC 2014)
Journées Formalisation des Activités Concurrentes (Journées FAC 2014), Apr 2014, Toulouse, France
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model V&V
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Ning Ge, Marc Pantel, Xavier Crégut
A UML-MARTE Temporal Property Verification Tool based on Model Checking
International Conference on Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Faiez Zalila, Xavier Crégut, Marc Pantel
A user-oriented approach to integrate formal verification activity for DSML
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic failure analysis in model Validation &Verification (ERTS 2014)
7th European Conference on Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics; Information & Communication Technologies, Feb 2014, Toulouse, France. pp.(electronic medium)
Faiez Zalila, Xavier Crégut, Marc Pantel
A transformation-driven approach to automate feedback verification results (regular paper)
Dans : International Conference On Model and Data Engineering (MEDI 2013), Amantea, Calabria, Italy, 25/09/13-27/09/13, Springer, Lecture Notes in Computer Science, p. 266-277, 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, 29/09/13-04/10/13, Springer-Verlag, (support électronique), septembre 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Verification results feedback for FIACRE intermediate language (student paper)
Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (en ligne), 2012.
Accès : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Zalila-paper40.pdf
BibTeXNing Ge, Marc Pantel, Xavier Crégut
Time Properties Dedicated Framework for UML-MARTE Safety Critical RTES Verification (regular paper)
Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (en ligne), 2012.
Accès : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Ge-paper37.pdf
BibTeXBenoit Combemale, Xavier Crégut, Marc Pantel
A Design Pattern to Build Executable DSMLs and associated V&V tools (short paper)
Dans : Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, China, 04/12/12-07/12/12, IEEE : Institute of Electrical and Electronics Engineers, p. 282-287, 2012.
Faiez Zalila, Xavier Crégut, Marc Pantel
Leveraging formal verification tools for DSML users: a process modeling case study (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Amirandes, Heraclion, Crete, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 329-343, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Formal specification and verification of task time constraints for real-time systems (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Héraclion, Crète, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 143-157, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (regular paper)
Dans : European Conference on Modelling Foundations and Applications (ECMFA 2012), Lyngby, Danemark, 02/07/12-05/07/12, Vol. 7349, Springer, Lecture Notes in Computer Science, p. 352-367, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time properties dedicated transformation from UML-MARTE Activity to Time Transition System (regular paper)
Dans : International workshop UML and Formal Methods (UML&FM’2012 2012), Paris, 27/08/12-31/08/12, Vol. 37, ACM : Association for Computing Machinery, SIGSOFT Software Engineering Notes 4, p. 1-8, 2012.
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
MDE through the Formal Verification of Process Models (regular paper)
Dans : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, New Zealand, 18/10/11, Vol. 52, Electronic Communications of the EASST, (en ligne), 2012.
Résumé Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/749
BibTeXJean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel, Xavier Crégut
Model Transformations with Tom (regular paper)
Dans : Language Descriptions, Tools and Applications (LDTA 2012), Tallinn, Estonia, 31/03/12-01/04/12, ACM : Association for Computing Machinery, (support électronique), mars 2012.
Faiez Zalila, Xavier Crégut, Marc Pantel
Spécification et vérification de patrons de propriétés pour des langages dédiés (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2011), Toulouse, France, 06/04/11-07/04/11, LAAS, (en ligne), avril 2011.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/Patrons.pdf
BibTeXJ.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut
A model-driven engineering approach to formal verification of PLC programs (regular paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, septembre 2011.
Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
Generative Technologies for Model Animation in the TOPCASED Platform (regular paper)
Dans : European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, 15/06/10-18/06/10, Springer, p. 90-103, juin 2010.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (en ligne), avril 2008.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/43.pdf
BibTeXBenoit Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont
Autonomic Mangement Policy Specification: from UML to DSML
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Toulouse, 28/09/08-03/10/08, Springer-Verlag, p. 584-599, octobre 2008.
Darlam Bender, Benoit Combemale, Xavier Crégut, François Vernadat, J.-M. Farines
Ladder Metamodeling & PLC Program Validation through Time Petri Nets
Dans : European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008), Berlin, Germany, 09/06/08-12/06/08, Springer, Lecture Notes in Computer Science 5095, p. 121-136, juin 2008.
Angel Garcia, Benoit Combemale, Xavier Crégut, Jean-Noël Guyot, Boris Libert
TopProcess: A Process Model Driven Approach Applied in Topcased for Embedded Real-Time Software
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (support électronique), janvier 2008.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (support électronique), janvier 2008.
Reda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais
Definition of an Executable SPEM2.0
Dans : Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, Japan, 04/12/07-07/12/07, IEEE Computer Society, p. 390-397, décembre 2007.
Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche
A Framework to formalise the MDE Foundations
Dans : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/07, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), p. 14-30, juin 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
Vers une vérification d’un procédé de développement modélisé en SPEM
Dans : Formalisation des Activités Concurrentes, Toulouse, France, 15/03/07-16/03/07.
Accès : http://www.cert.fr/feria/svf/FAC/2007/Papiers/31.pdf
BibTeXBenoit Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
Towards a Formal Verification of Process Model’s Properties – SimplePDL and TOCL Case Study
Dans : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira – Portugal, 12/06/07-16/06/07, INSTICC Press, p. 80-89, juin 2007 (Best paper).
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Expérimentation pour la définition d’une sémantique dans l’IDM
Dans : Sémantique des (meta)Modèles, Toulouse, France, 29/01/07, INPT : Institut National Polytechnique de Toulouse, p. 146-161, mars 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
SimplePDL2Tina: Mise en oeuvre d’une Validation de Modèles de Processus
Dans : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007), Toulouse, France, 29/03/07-30/03/07, INPT : Institut National Polytechnique de Toulouse, p. 86-101, mars 2007.
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Sémantique et méta-modélisation
Dans : Journées Kermeta, Rennes, 10/10/06.
Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXMarc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Simulation et ingénierie des modèles
Dans : Journées Kermeta, Rennes, 10/10/06.
Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXPatrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel
The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design
Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (support électronique), janvier 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Sémantique dans la méta-modélisation
Dans : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2006), Lille, France, 26/06/06-28/06/06, Université de Lille, p. 17-33, juin 2006.
Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette
Vers une vérification d’un procédé de développement modélisé en SPEM
Dans : Formalisation des Activités Concurrentes, Toulouse, France, 23/03/06-24/03/06.
Accès : http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf
BibTeXBenoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Modélisation rigoureuse en SPEM de procédé de développement
Dans : Conférence sur les Langages et Modèles à Objets (LMO 2006), Nîmes, France, 22/03/06-24/03/06, Hermès Science, p. 135-150, mars 2006.
Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Towards a rigorous use of SPEM
Dans : International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, 23/05/06-27/05/06, INSTICC Press, p. 530-533, mai 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Towards rigorous metamodeling
Dans : Model-Driven Enterprise Information Systems (MDEIS 2006), Paphos – Cyprus, 23/05/06, Luís Ferreira Pires, Slimane Hammoudi (Eds.), INSTICC Press, p. 1-15, mai 2006.
Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois
Evaluation du standard SPEM de représentation des processus
Dans : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, p. 25-30, juin 2006.
Redouane Lbath, Bernard Coulette, Xavier Crégut
A multi-Agent Approach to a SPEM-based Modeling
Dans : The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, 14/07/05-16/07/05, X, p. 0, juillet 2005.
Xavier Crégut, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette
Un patron de génération de code pour le profil VUML
Dans : Objets, Composants et Modèles (OCM), Berne, Suisse, 09/03/05-11/03/05, ., p. 5-12, mars 2005.
Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile, Xavier Crégut, Sophie Ebersold
Towards a View Based Modelling Language
Dans : International Conference en Enterprise Information Systems (ICEIS 2003), Angers, France, 23/04/03-26/04/03, ., avril 2003.
Tran Hanh Nhi, Bernard Coulette, Xavier Crégut, Thuy Dong Thi Bich, Thu Tran Dan
Modélisation du méta-procédé RHODES avec SPEM
Dans : Recherche Informatique Vietnam-Francophone (RIVF’03), Hanoi, vietnam, 10/02/03-13/02/03, http://e-ifi.org/rivf2003/, février 2003.
Bernard Coulette, Xavier Crégut, Thuy Dong Thi Bich, Thu Tran Dan
A METAPROCESS TO DEFINE AND REUSE PROCESS COMPONENTS
Dans : Integrated Design and Process Technology, IDPT, Pasadena (California), 23/06/02-28/06/02, Society for Design and Process Science, http://www.sdpsnet.org/, juin 2002.
Thu Tran Dan, Thuy Dong Thi Bich, Bernard Coulette, Xavier Crégut
Introduction à la notion de composants de procédés
Dans : Journées scientifiques de l’Institut de la Technologie de l’Information, Hanoï., 24/12/01-25/12/01, CNRST, décembre 2001.
Bernard Coulette, Xavier Crégut, Thu Tran Dan, Thuy Dong Thi Bich
Managing Processes through a Base of Reusable Components
Dans : ICEIS’2001, Setubal, Portugal, 07/07/01-10/07/01, Kluwer Academic Publishers, p. 180-190, juillet 2001.
Béatrice Paillassa, Xavier Crégut, Anis Ben Arbia
ASA: Une architecture active de Services pour un Internet de Services
Dans : De Nouvelles Architectures pour les Communications, Paris, DNAC, novembre 2001.
Béatrice Paillassa, Xavier Crégut, Anis Ben Arbia
ASA: The Active Service Architecture for New Internet
Dans : IEEE Conference on Communications, Computers and Signal Processing, Victoria (Canada), IEEE Publisher, p. 489-492, août 2001.
Bernard Coulette, Xavier Crégut, Thu Tran Dan, Thuy Dong Thi Bich
RHODES, A Process-Centered Software Engineering Environment
Dans : ICEIS’2000, Stafford, 04/07/00-07/07/00, ., juillet 2000.
Bernard Coulette, Xavier Crégut
Modélisation de composants de procédés : Intégration dansl’environnement RHODES
Dans : IC’2000, Toulouse, ., mai 2000.
Xavier Crégut, Bernard Coulette
Modélisation sous RHODES d’un procédé de développementformel. Application à la spécification en Unity
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’98), Poitiers, 30/09/98-01/10/98, ENSMA, Futuroscope, Poitiers, p. 165-176, septembre 1998.
M. Mezrioui, Xavier Crégut, Bernard Coulette
A Methodology for Software Process Modeling and Design
Dans : Actes conférence internationale IEEE Engineering Computer Based Systems (ECBS’98), Jérusalem, ., mars 1998.
Xavier Crégut, Bernard Coulette
Emphasizing guidance in the Process-centered Software Engineering Environment RHODES
Dans : Actes conférence internationale IEEE Engineering Computer Based Systems (ECBS’98), Jérusalem, ., mars 1998.
Xavier Crégut, Bernard Coulette
Filling the gap between CASE tools and PSEEs
Dans : Proc. of the International Conference and Workshop on Engineering of Computer Based Systems (ECBS’97), Monterey, California, IEEE Computer Society Press, p. 113-120, mars 1997.
Xavier Crégut, Bernard Coulette
Vérification d’un modèle de procédé de développement
Dans : Journées du GDR de Programmation, Orléans, France, -, novembre 1996.
Xavier Crégut, Bernard Coulette
Assistance Environment for Object Oriented Development
Dans : TOOLS 19, Actes conference TOOLS EUROPE 96, Paris, Prentice Hall, p. 61-73, février 1996.
Xavier Crégut, Bernard Coulette
RHODES, un environnement d’assistance et de validation centré sur le processus de développement
Dans : Actes Génie Logiciel et Applications, Paris, 15/11/95-17/11/95, -, novembre 1995.
Bernard Coulette, Xavier Crégut
An intelligent didactic environment for HOOD designers
Dans : Ada in Aerospace symposium, Bruxelles, 08/11/93-11/11/93, Springer, p. 179-188, 1993.
Xavier Crégut, Bernard Coulette
A methodological process based environement for software applications design
Dans : ACM ERCIM Workshop on Developement and transformation of programs, Nancy, 02/11/93-04/11/93, ACM : Association for Computing Machinery, p. 151-162, 1993.
Bernard Coulette, Xavier Crégut
Intégration du concept hypertexte dans un environnement d’assistance et d’apprentissage. Application à la réalisation d’une interface didactique pour la méthode de conception HOOD.
Dans : Colloque International Informatique Cognitive des Organisations, Montréal, 05/05/93-07/05/93, de boeck université, p. 88-97, 1993.
Un environnement d’assistance rigoureuse pour la description et l’exécution de processus de conception — Application à l’approche objet
Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 1997.
Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon
Actes des journées Langages et Modèles à Objets, LMO’07, Toulouse, 27/03/07 – 29/03/07, Hermès, mars 2007.
Florent Latombe, Xavier Crégut, Marc Pantel
Tailoring Models of Concurrency to eXecutable Domain-Specific Modeling Languages
2016