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