selected publications

• chapter

  • Cyber-Physical Systems Engineering: An Introduction.  Lecture notes in computer science. 407-410. 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