Van Der Straeten, R. (2011) “Towards a Methodology for Semantics Specification of Domain-specific Models through Properties”, Electronic Communications of the EASST, 42. doi: 10.14279/tuj.eceasst.42.601.