R. Van Der Straeten, “Towards a Methodology for Semantics Specification of Domain-specific Models through Properties”, eceasst, vol. 42, Dec. 2011.