Domain-specific scenarios for refinement-based methods

•Scenarios guide formal modelling.•Scenarios written in a DSL are more precise and can be automated.•Scenarios can be refined to correspond with model refinements.•Alternatively, scenarios can be abstracted from given use cases.•Scenarios can be automated for regression testing after refactoring models.