Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró. Formal validation of domain-specific languages with derived features and well-formedness constraints. Software and Systems Modeling, 16(2):357-392, 2017. [doi]
Abstract is missing.