Text this: Formal Methods for Model-Driven Engineering