Observations for Assertion-based Scenarios in the context of Model Validation. - Emine Gokce Aydal; Richard F. Paige; Jim Woodstock (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)