selected publications

• conference paper

  • Architecture trace diagrams for cyber-physical systems.  . 2019