Aydal, E., Paige, R. and Woodstock, J. (2008) “Observations for Assertion-based Scenarios in the context of Model Validation”, Electronic Communications of the EASST, 15. doi: 10.14279/tuj.eceasst.15.181.