Have a look at this thorough article.
It gives a lot of insights about Dezyne and was also used as a paper for the F-IDE 2021.
Please check:
https://lnkd.in/d-nyt3A
Dezyne: Paving the Way to Practical Formal Software Engineering
https://forum.verum.com