selected publications

• chapter

  • From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems.  Communications in computer and information science. 156-178. 2020

• conference paper

  • Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System.  . 397-406. 2019