E. Aydal, R. Paige, and J. Woodstock, “Observations for Assertion-based Scenarios in the context of Model Validation”, eceasst, vol. 15, Dec. 2008.