Certifying HIL Simulation of a Safety-critical System – Athanasios Stratis, Bombardier