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