Formal validation of domain-specific languages with derived features and well-formedness constraints. - Oszkár Semeráth; Ágnes Barta; Ákos Horváth 001; Zoltán Szatmári; Dániel Varró (Softw. Syst. Model., 2017)