Text this: EMBRACING MODEL TRANSFORMATIONS IN FUNCTIONAL REQUIREMENTS SPECIFICATION