A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System. - Athanasios Stratis; Adnan Causevic (ISSRE Workshops, 2017)

A Model-Based Test Script Generation Framework for Embedded Software. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Athanasios Stratis; Ola Sellin (ICST Workshops, 2021)

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Enoiu; Athanasios Stratis; Aitor Arrieta; Goiuria Sagardui (ISEC, 2021)