jsmf-check (npm): Constraints language and verification for JSMF models
Keywords: Model|Management|Verification|Constraint