selected publications

• conference paper

  • State-Based Real-Time Analysis for Function Networks and Marte.  . 2015