“…We have chosen to use the language model driven variant of our process because the RBAC DSL is placed in a domain well known to the developers (see, e.g., [46,47,62,63,64,65]). Therefore, it was sensible for us to start with a conceptual language model which can be incrementally refined as the DSL evolves.…”