Control to create diagrams in winform applications in C# (.NET)
UML modeling tool derived from StarUML compatible with Windows 7-10
Utility for software systems specifications
Model-driven development system and software factory
A tool for parametric model checking of UPPAAL models.