Creating GUI-based DSL formal tools | IEEE Conference Publication | IEEE Xplore