Last released Nov 1, 2026
System specification toolkit: metamodel validator, examples and formal-model skills.