Model check offers great automation functionality, but its UI makes it rather intimidating, hard to learn, and hard to change/update.
Can we see some improvements to it, especially to the UI? Such as making it easier to learn and use its powerful functionality?