Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL. - Nicolas Metayer; Andrés Paz; Ghizlane El-Boussaidi (ISSRE Workshops, 2019)