Automatic Generation of DO-178 Test Procedures. - César Ochoa Escudero; Rémi Delmas; Thomas Bochot; Matthieu David; Virginie Wiels (NFM, 2018)