https://123dok.net/document/qmj59e39-feasibility-study-validation-domain-specific-languages-using-reasoners.html