Aydal, Emine, et al. “Observations for Assertion-Based Scenarios in the Context of Model Validation”. Electronic Communications of the EASST, vol. 15, Dec. 2008, doi:10.14279/tuj.eceasst.15.181.