Aydal, E.; Paige, R.; Woodstock, J. Observations for Assertion-Based Scenarios in the Context of Model Validation. eceasst 2008, 15.