Scenario formulation in an algebraic modelling language · Study