Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software | IEEE Conference Publication | IEEE Xplore