Van Der Straeten, R. Towards a Methodology for Semantics Specification of Domain-Specific Models through Properties. ECEASST 2011, 42.