Embracing Model Transformations in Requirements Specification