Tietz, 2021. Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software.