selected publications

• chapter

  • On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.  Lecture notes in computer science. 425-430. 2018
  • Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.  Lecture notes in computer science. 570-572. 2014

• conference paper

  • Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction..  HAL (Le Centre pour la Communication Scientifique Directe). 2016