It supports design, specification, analysis and verification of complex systems.
Astah SysML is a powerful