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