selected publications

• chapter

  • A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory.  Lecture notes in computer science. 169-182. 2017

• conference paper

  • On modeling and testing components of the European Train Control System.  . 2014