Text this: Model-based testing for software safety