Formalizing the structural semantics of domain-specific modeling languages
Kodkod: A relational model finder