selected publications

• academic article

  • Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL.  International journal of conceptual structures and smart applications.  3:25-70. 2015

• chapter

  • Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL.  IGI Global eBooks. 242-282. 2014

• conference paper

  • The KARYON project: Predictable and safe coordination in cooperative vehicular systems.  . 2013